Julian Rathke

J. Log. Algebraic Methods Program., 2018

2014

Compositional Reachability in Petri Nets.

[BibT_eX]

[DOI]

Owen Stephens

Proceedings of the Reachability Problems - 8th International Workshop, 2014

2013

Decomposing Petri nets

[BibT_eX]

[DOI]

Owen Stephens

CoRR, 2013

Preemptive Type Checking in Dynamically Typed Languages.

[BibT_eX]

[DOI]

Neville Grech

Bernd Fischer

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

2012

Dynamic Software Update for Message Passing Programs.

[BibT_eX]

[DOI]

Gabrielle Anderson

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Permission-Based Separation Logic for Message-Passing Concurrency

[BibT_eX]

[DOI]

Adrian Francalanza

Vladimiro Sassone

Log. Methods Comput. Sci., 2011

The Lax Braided Structure of Streaming I/O.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 2011

Local Memory via Layout Randomization.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

2010

JEqualityGen: generating equality and hashing methods.

[BibT_eX]

[DOI]

Neville Grech

Bernd Fischer

Proceedings of the Generative Programming And Component Engineering, 2010

2009

Deriving Labelled Transition Systems - A Structural Approach.

[BibT_eX]

Bull. EATCS, 2009

Migrating Protocols in Multi-Threaded Message-Passing Systems.

[BibT_eX]

[DOI]

Austin Anderson

Proceedings of the 2nd ACM Workshop on Hot Topics in Software Upgrades, 2009

2008

Making the Unobservable, Unobservable.

[BibT_eX]

[DOI]

Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008

Deconstructing behavioural theories of mobility.

[BibT_eX]

[DOI]

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

Deriving Structural Labelled Transitions for Mobile Ambients.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007

Semantic Barbs and Biorthogonality.

[BibT_eX]

[DOI]

Vladimiro Sassone

Proceedings of the Foundations of Software Science and Computational Structures, 2007

2005

Contextual equivalence for higher-order pi-calculus revisited.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2005

Full Abstraction for Polymorphic Pi-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2005

Proof Methodologies for Behavioural Equivalence in DPI.

[BibT_eX]

[DOI]

Alberto Ciaffaglione

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Java Jr: Fully Abstract Trace Semantics for a Core Java Language.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2005

2004

Typed behavioural equivalences for processes in the presence of subtyping.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2004

Preface.

[BibT_eX]

[DOI]

Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous Computing, 2004

safeDpi: A Language for Controlling Mobile Code.

[BibT_eX]

[DOI]

Nobuko Yoshida

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

2003

Contextual Equivalence for Higher-Order π-Calculus Revisited.

[BibT_eX]

[DOI]

Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, 2003

Risky Business: Motivations for Markets in Programmable Networks.

[BibT_eX]

[DOI]

Proceedings of the Active Networks, IFIP TC6 5th International Workshop, 2003

Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems.

[BibT_eX]

[DOI]

Massimo Merro

Proceedings of the Foundations of Software Science and Computational Structures, 2003

2002

A Fully Abstract May Testing Semantics for Concurrent Objects.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

2001

Unique fixpoint induction for message-passing process calculi.

[BibT_eX]

[DOI]

Huimin Lin

Sci. Comput. Program., 2001

2000

A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names.

[BibT_eX]

[DOI]

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

1999

Towards a Theory of Bisimulation for Local Names.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

1998

Resource Based Models for Asynchrony.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structure, 1998

1997

Symbolic techniques for value-passing calculi.

[BibT_eX]

[DOI]

PhD thesis, 1997

Local Model Checking for Value-Passing Processes (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

Unique Fixpoint Induction for Value-Passing Processes (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

1995

Bisimulations for a Calculus of Broadcasting Systems.

[BibT_eX]

[DOI]