| Publication | Date of Publication | Type |
|---|
Barbed bisimulation
Automata, Languages and Programming | 2019-12-04 | Paper |
Bigraphs and transitions
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
An Interview with Robin Milner
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Stochastic bigraphs
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Bigraphs and their algebra
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Matching of bigraphs
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
Local bigraphs and confluence: two conjectures (extended abstract)
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
Turing, computing and communication
Interactive Computation | 2013-06-18 | Paper |
An inductive characterization of matching in binding bigraphs
Formal Aspects of Computing | 2013-03-22 | Paper |
Unfolding CSP
Reflections on the Work of C.A.R. Hoare | 2010-10-26 | Paper |
| scientific article; zbMATH DE number 5666853 (Why is no real title available?) | 2010-02-05 | Paper |
Bigraphical Categories
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
| The Space and Motion of Communicating Agents | 2009-04-02 | Paper |
Categories, Software and Meaning
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Transition systems, link graphs and Petri nets
Mathematical Structures in Computer Science | 2007-02-07 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Pure bigraphs: structure and dynamics
Information and Computation | 2006-04-28 | Paper |
Axioms for bigraphical structure
Mathematical Structures in Computer Science | 2006-02-21 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
| scientific article; zbMATH DE number 2163006 (Why is no real title available?) | 2005-04-29 | Paper |
| scientific article; zbMATH DE number 2016063 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 1863157 (Why is no real title available?) | 2003-02-03 | Paper |
| scientific article; zbMATH DE number 1759615 (Why is no real title available?) | 2002-12-02 | Paper |
Shallow linear action graphs and their embeddings
Formal Aspects of Computing | 2002-09-25 | Paper |
| scientific article; zbMATH DE number 1755135 (Why is no real title available?) | 2002-06-13 | Paper |
| scientific article; zbMATH DE number 1670758 (Why is no real title available?) | 2001-12-18 | Paper |
| scientific article; zbMATH DE number 1555188 (Why is no real title available?) | 2001-01-22 | Paper |
| scientific article; zbMATH DE number 1420796 (Why is no real title available?) | 2000-08-28 | Paper |
| scientific article; zbMATH DE number 1333606 (Why is no real title available?) | 1999-09-19 | Paper |
| scientific article; zbMATH DE number 1296290 (Why is no real title available?) | 1999-06-07 | Paper |
| scientific article; zbMATH DE number 1142329 (Why is no real title available?) | 1998-05-14 | Paper |
| scientific article; zbMATH DE number 1088033 (Why is no real title available?) | 1998-01-13 | Paper |
Calculi for interaction
Acta Informatica | 1995-11-15 | Paper |
| scientific article; zbMATH DE number 785050 (Why is no real title available?) | 1995-09-26 | Paper |
| scientific article; zbMATH DE number 522837 (Why is no real title available?) | 1994-03-24 | Paper |
Edinburgh LCF. A mechanized logic of computation
Lecture Notes in Computer Science | 1993-06-05 | Paper |
| scientific article; zbMATH DE number 177812 (Why is no real title available?) | 1993-05-18 | Paper |
Unique decomposition of processes
Theoretical Computer Science | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 42752 (Why is no real title available?) | 1993-01-23 | Paper |
Functions as processes
Mathematical Structures in Computer Science | 1993-01-16 | Paper |
A compositional protocol verification using relativized bisimulation
Information and Computation | 1992-09-27 | Paper |
Co-induction in relational semantics
Theoretical Computer Science | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4777 (Why is no real title available?) | 1992-06-25 | Paper |
Interpreting one concurrent calculus in another
Theoretical Computer Science | 1990-01-01 | Paper |
A complete axiomatisation for observational congruence of finite-state behaviours
Information and Computation | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4022620 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3995028 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4014017 (Why is no real title available?) | 1986-01-01 | Paper |
Algebraic laws for nondeterminism and concurrency
Journal of the ACM | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3986627 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3986626 (Why is no real title available?) | 1985-01-01 | Paper |
A complete inference system for a class of regular behaviours
Journal of Computer and System Sciences | 1984-01-01 | Paper |
The use of machines to assist in rigorous proof
Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences | 1984-01-01 | Paper |
Calculi for synchrony and asynchrony
Theoretical Computer Science | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3744561 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3688686 (Why is no real title available?) | 1980-01-01 | Paper |
A calculus of communicating systems
Lecture Notes in Computer Science | 1980-01-01 | Paper |
Concurrent Processes and Their Syntax
Journal of the ACM | 1979-01-01 | Paper |
Flowgraphs and Flow Algebras
Journal of the ACM | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3659008 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3644464 (Why is no real title available?) | 1979-01-01 | Paper |
A theory of type polymorphism in programming
Journal of Computer and System Sciences | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3639136 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3757705 (Why is no real title available?) | 1978-01-01 | Paper |
Fully abstract models of typed \(\lambda\)-calculi
Theoretical Computer Science | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3566824 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3683033 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3495581 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3439981 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3410594 (Why is no real title available?) | 1972-01-01 | Paper |
Equivalences on program schemes
Journal of Computer and System Sciences | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3351181 (Why is no real title available?) | 1969-01-01 | Paper |
String handling in ALGOL
The Computer Journal | 1968-01-01 | Paper |
