Iain C. C. Phillips

Nobuko Yoshida

CoRR, 2018

2017

Towards a Categorical Representation of Reversible Event Structures.

[BibT_eX]

[DOI]

Eva Graversen

Nobuko Yoshida

Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017

2015

Reversibility and asymmetric conflict in event structures.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2015

Real-Time Methods in Reversible Computation.

[BibT_eX]

[DOI]

Tommi Pesu

Proceedings of the Reversible Computation - 7th International Conference, 2015

2014

Event Identifier Logic.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2014

Concurrency and Reversibility.

[BibT_eX]

[DOI]

Shoji Yuen

Proceedings of the Reversible Computation - 6th International Conference, 2014

2013

Modelling of Bonding with Processes and Events.

[BibT_eX]

[DOI]

Shoji Yuen

Proceedings of the Reversible Computation - 5th International Conference, 2013

2012

A hierarchy of reverse bisimulations on stable configuration structures.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2012

A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway.

[BibT_eX]

[DOI]

Shoji Yuen

Proceedings of the Reversible Computation, 4th International Workshop, 2012

2011

A Logic with Reverse Modalities for History-preserving Bisimulations

[BibT_eX]

[DOI]

Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

2009

Semantics and expressiveness of ordered SOS.

[BibT_eX]

[DOI]

Mohammad Reza Mousavi

Michel A. Reniers

Inf. Comput., 2009

Reverse Bisimulations on Stable Configuration Structures

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009

2008

CCS with priority guards.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2008

Symmetric electoral systems for ambient calculi.

[BibT_eX]

[DOI]

Inf. Comput., 2008

2007

Tutorial on separation results in process calculi via leader election problems.

[BibT_eX]

[DOI]

Catuscia Palamidessi

Theor. Comput. Sci., 2007

Preface.

[BibT_eX]

[DOI]

Jos C. M. Baeten

Theor. Comput. Sci., 2007

Reversing algebraic process calculi.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2007

Reversibility and Models for Concurrency.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007

Matching Systems for Concurrent Calculi.

[BibT_eX]

[DOI]

Bjørn Haagensen

Sergio Maffeis

Proceedings of the 14th International Workshop on Expressiveness in Concurrency, 2007

2006

Leader election in rings of ambient processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Preface.

[BibT_eX]

[DOI]

Roberto M. Amadio

Proceedings of the 13th International Workshop on Expressiveness in Concurrency, 2006

The Meaning of Ordered SOS.

[BibT_eX]

[DOI]

Mohammad Reza Mousavi

Michel A. Reniers

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

2005

On the computational strength of pure ambient calculi.

[BibT_eX]

[DOI]

Sergio Maffeis

Theor. Comput. Sci., 2005

Operational Semantics of Reversibility in Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Separation Results Via Leader Election Problems.

[BibT_eX]

[DOI]

Catuscia Palamidessi

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2004

Electoral Systems in Ambient Calculi.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2004

2002

Ordered SOS Process Languages for Branching and Eager Bisimulations.

[BibT_eX]

[DOI]

Inf. Comput., 2002

Barbs and Congruences for Safe Mobile Ambients.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Wide Area Network Computing, 2002

On Reduction Semantics for the Push and Pull Ambitent Calculus.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

1997

Formats of Ordered SOS Rules with Silent Actions.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1995

Possible and Guaranteed Concurrency in CSP.

[BibT_eX]

[DOI]

Marta Kwiatkowska

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

1993

A Note on Expressiveness of Process Algebra.

[BibT_eX]

Proceedings of the Theory and Formal Methods 1993, 1993

Concurrency and Conflict in CSP.

[BibT_eX]

Marta Z. Kwiatkowska

Proceedings of the Theory and Formal Methods 1993, 1993

1987

Refusal Testing.

[BibT_eX]

[DOI]