Search results for: Philippa Gardner
Lecture Notes in Computer Science > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 211-223
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 216-230
Lecture Notes in Computer Science > ECOOP 2010 – Object-Oriented Programming > Concurrency Abstractions > 504-528
Lecture Notes in Computer Science > CONCUR 2002 — Concurrency Theory > Models of Computation, Process Algebra > 418-433
Lecture Notes in Computer Science > Database Programming Languages > Modeling Data and Services > 130-146
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Invited Talks > 36-39
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2000 > Contributed Papers > 373-382
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Locality in Reasoning > 199-215
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 535-548
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 201-215