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

Deriving structural labelled transitions for mobile ambients.

[BibT_eX]

[DOI]

Inf. Comput., 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

Full abstraction for polymorphic pi-calculus.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 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

2007

Semantic Barbs and Biorthogonality.

[BibT_eX]

[DOI]

Vladimiro Sassone

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

2005

A fully abstract may testing semantics for concurrent objects.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Contextual equivalence for higher-order pi-calculus revisited.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2005

safeDpi: a language for controlling mobile code.

[BibT_eX]

[DOI]

Nobuko Yoshida

Acta Informatica, 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

A theory of bisimulation for a fragment of concurrent ML with local names.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

Towards a behavioural theory of access and mobility control in distributed systems.

[BibT_eX]

[DOI]

Massimo Merro

Theor. Comput. Sci., 2004

Preface.

[BibT_eX]

[DOI]

Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous Computing, 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

2002

Typed behavioural equivalences for processes in the presence of subtyping.

[BibT_eX]

[DOI]

Proceedings of the Computing: the Australasian Theory Symposium, 2002

2001

Unique fixpoint induction for message-passing process calculi.

[BibT_eX]

[DOI]

Huimin Lin

Sci. Comput. Program., 2001

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

Bisimulations for a Calculus of Broadcasting Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 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]