Publication | Date of Publication | Type |
---|
Barbed bisimulation | 2019-12-04 | Paper |
Bigraphs and transitions | 2015-09-11 | Paper |
An Interview with Robin Milner | 2015-07-10 | Paper |
Stochastic Bigraphs | 2014-05-13 | Paper |
Bigraphs and Their Algebra | 2014-01-17 | Paper |
Matching of Bigraphs | 2013-12-20 | Paper |
Local Bigraphs and Confluence: Two Conjectures | 2013-12-13 | Paper |
Turing, Computing and Communication | 2013-06-18 | Paper |
An inductive characterization of matching in binding bigraphs | 2013-03-22 | Paper |
Unfolding CSP | 2010-10-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q3400645 | 2010-02-05 | Paper |
Bigraphical Categories | 2009-10-22 | Paper |
The Space and Motion of Communicating Agents | 2009-04-02 | Paper |
Categories, Software and Meaning | 2008-06-19 | Paper |
Foundations of Software Science and Computation Structures | 2007-09-28 | Paper |
Transition systems, link graphs and Petri nets | 2007-02-07 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
Pure bigraphs: structure and dynamics | 2006-04-28 | Paper |
Axioms for bigraphical structure | 2006-02-21 | Paper |
Lectures on Concurrency and Petri Nets | 2005-12-23 | Paper |
Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q4673387 | 2005-04-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4438761 | 2003-12-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q4791828 | 2003-02-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q4536606 | 2002-12-02 | Paper |
Shallow linear action graphs and their embeddings | 2002-09-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4535169 | 2002-06-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q2754059 | 2001-12-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4525288 | 2001-01-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4944860 | 2000-08-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4260379 | 1999-09-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4248252 | 1999-06-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4385545 | 1998-05-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4364381 | 1998-01-13 | Paper |
Calculi for interaction | 1995-11-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4842539 | 1995-09-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q4284230 | 1994-03-24 | Paper |
Edinburgh LCF. A mechanized logic of computation | 1993-06-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q4038690 | 1993-05-18 | Paper |
Unique decomposition of processes | 1993-05-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q3992568 | 1993-01-23 | Paper |
Functions as processes | 1993-01-16 | Paper |
A compositional protocol verification using relativized bisimulation | 1992-09-27 | Paper |
Co-induction in relational semantics | 1992-06-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q4712664 | 1992-06-25 | Paper |
Interpreting one concurrent calculus in another | 1990-01-01 | Paper |
A complete axiomatisation for observational congruence of finite-state behaviours | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3765231 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4721631 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3026331 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3750113 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3750114 | 1985-01-01 | Paper |
Algebraic laws for nondeterminism and concurrency | 1985-01-01 | Paper |
A complete inference system for a class of regular behaviours | 1984-01-01 | Paper |
The use of machines to assist in rigorous proof | 1984-01-01 | Paper |
Calculi for synchrony and asynchrony | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3929062 | 1981-01-01 | Paper |
A calculus of communicating systems | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3883467 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3049797 | 1979-01-01 | Paper |
Flowgraphs and Flow Algebras | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3857731 | 1979-01-01 | Paper |
Concurrent Processes and Their Syntax | 1979-01-01 | Paper |
A theory of type polymorphism in programming | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3940847 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4198049 | 1978-01-01 | Paper |
Fully abstract models of typed \(\lambda\)-calculi | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3878737 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4138713 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4077434 | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4766019 | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5674962 | 1972-01-01 | Paper |
Equivalences on program schemes | 1970-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5626274 | 1969-01-01 | Paper |
String handling in ALGOL | 1968-01-01 | Paper |