Search results for "EXPRESS"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Marco Carbone, Sergio Maffeis	On the Expressive Power of Polyadic Synchronisation in pi-calculus.	EXPRESS	2002	DBLP DOI BibTeX RDF
1	Vladimiro Sassone, Pawel Sobocinski 0001	Deriving Bisimulation Congruences: A 2-categorical Approach.	EXPRESS	2002	DBLP DOI BibTeX RDF
1	Luca Aceto, Prakash Panangaden (eds.)	8th International Workshop on Expressiveness in Concurrency, EXPRESS 2001, Satellite Workshop from CONCUR 2001, Aalborg, Denmark, August 20, 2001	EXPRESS	2002	DBLP BibTeX RDF
1	Uwe Nestmann, Prakash Panangaden (eds.)	9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002	EXPRESS	2002	DBLP BibTeX RDF
1	Julian C. Bradfield, Sibylle B. Fröschle	On Logical and Concurrent Equivalences.	EXPRESS	2001	DBLP DOI BibTeX RDF
1	Roberto M. Amadio, Charles Meyssonnier	On the Decidability of Fragments of the Asynchronous pi-Calculus.	EXPRESS	2001	DBLP DOI BibTeX RDF
1	K. V. S. Prasad	Broadcast Calculus Interpreted in CCS upto Bisimulation.	EXPRESS	2001	DBLP DOI BibTeX RDF
1	Dina Q. Goldin, Scott A. Smolka, Peter Wegner	Turing Machines, Transition Systems, and Interaction.	EXPRESS	2001	DBLP DOI BibTeX RDF
1	Tom Chothia, Ian Stark	Encoding Distributed Areas and Local Communication into the pi-Calculus.	EXPRESS	2001	DBLP DOI BibTeX RDF
1	Alan Martin	Adequate Sets of Temporal Connectives in CTL.	EXPRESS	2001	DBLP DOI BibTeX RDF
1	Luca Aceto, Prakash Panangaden	Preface.	EXPRESS	2001	DBLP DOI BibTeX RDF
1	Anne Labroue, Philippe Schnoebelen	An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems.	EXPRESS	2001	DBLP DOI BibTeX RDF
1	Jan Strejcek	Rewrite Systems with Constraints.	EXPRESS	2001	DBLP DOI BibTeX RDF
1	Flavio Corradini, Dino Di Cola	The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes.	EXPRESS	2000	DBLP DOI BibTeX RDF
1	Jos C. M. Baeten	Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination.	EXPRESS	2000	DBLP DOI BibTeX RDF
1	Jirí Srba	Complexity of Weak Bisimilarity and Regularity for BPA and BPP.	EXPRESS	2000	DBLP DOI BibTeX RDF
1	Shoham Shamir, Orna Kupferman, Eli Shamir 0001	Branching-Depth Hierarchies.	EXPRESS	2000	DBLP DOI BibTeX RDF
1	Pascal Zimmer	On the Expressiveness of Pure Mobile Ambients.	EXPRESS	2000	DBLP DOI BibTeX RDF
1	Martin Berger 0001, Kohei Honda 0001	The Two-Phase Commitment Protocol in an Extended pi-Calculus.	EXPRESS	2000	DBLP DOI BibTeX RDF
1	Massimo Merro	On Equators in Asynchronous Name-passing Calculi without Matching.	EXPRESS	1999	DBLP DOI BibTeX RDF
1	Heike Wehrheim	Partial order reductions for failures refinement.	EXPRESS	1999	DBLP DOI BibTeX RDF
1	Rom Langerak	Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding.	EXPRESS	1999	DBLP DOI BibTeX RDF
1	Sibylle B. Fröschle	Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP.	EXPRESS	1999	DBLP DOI BibTeX RDF
1	Simone Tini	On The Expressiveness of Timed Concurrent Constraint Programming.	EXPRESS	1999	DBLP DOI BibTeX RDF
1	Mario Bravetti, Roberto Gorrieri	Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement.	EXPRESS	1999	DBLP DOI BibTeX RDF
1	Gabriel Juhás	Petri nets with generalized algebra: a comparison.	EXPRESS	1999	DBLP DOI BibTeX RDF
1	Anna Ingólfsdóttir, Rosario Pugliese	Towards Verified Lazy Implementation of Concurrent Value-Passing Languages.	EXPRESS	1999	DBLP DOI BibTeX RDF
1	Ilaria Castellani, Björn Victor	Preface.	EXPRESS	1999	DBLP DOI BibTeX RDF
1	Ilaria Castellani, Björn Victor (eds.)	6th International Workshop on Expressiveness in Concurrency, EXPRESS 1999, Eindhoven, The Netherlands, August 23, 1999	EXPRESS	1999	DBLP BibTeX RDF
1	Matthew Hennessy	A survey of location calculi.	EXPRESS	1998	DBLP DOI BibTeX RDF
1	Marta Z. Kwiatkowska, Gethin Norman	A Testing Equivalence for Reactive Probabilistic Processes.	EXPRESS	1998	DBLP DOI BibTeX RDF
1	Antonio Brogi, Jean-Marie Jacquet	On the Expressiveness of Linda-like Concurrent Languages.	EXPRESS	1998	DBLP DOI BibTeX RDF
1	Jos C. M. Baeten, Jan A. Bergstra	Deadlock Behaviour in Split and ST Bisimulation Semantics.	EXPRESS	1998	DBLP DOI BibTeX RDF
1	Gianluigi Zavattaro	Towards a Hierarchy of Negative Test Operators for Generative Communication.	EXPRESS	1998	DBLP DOI BibTeX RDF
1	H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy	Event Structures for Local Traces.	EXPRESS	1998	DBLP DOI BibTeX RDF
1	P. S. Thiagarajan	Some Logical and Automata-Theoretic Aspects of Product Behaviours.	EXPRESS	1998	DBLP DOI BibTeX RDF
1	Ilaria Castellani, Catuscia Palamidessi	Preface.	EXPRESS	1998	DBLP DOI BibTeX RDF
1	Uwe Nestmann	On the Expressive Power of Joint Input.	EXPRESS	1998	DBLP DOI BibTeX RDF
1	Massimo Merro	On the Expressiveness of Chi, Update, and Fusion calculi.	EXPRESS	1998	DBLP DOI BibTeX RDF
1	Ilaria Castellani, Catuscia Palamidessi (eds.)	Fifth International Workshop on Expressiveness in Concurrency, EXPRESS 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 7, 1998	EXPRESS	1998	DBLP BibTeX RDF
1	Arend Rensink	Bisimilarity of open terms.	EXPRESS	1997	DBLP DOI BibTeX RDF
1	Flavio Corradini	Absolute versus relative time in process algebras.	EXPRESS	1997	DBLP DOI BibTeX RDF
1	Richard Mayr	Process rewrite systems.	EXPRESS	1997	DBLP DOI BibTeX RDF
1	Ralph-Johan Back, Joakim von Wright	Contracts, games and refinement.	EXPRESS	1997	DBLP DOI BibTeX RDF
1	Alexander Moshe Rabinovich	On expressive completeness of duration and mean value calculi.	EXPRESS	1997	DBLP DOI BibTeX RDF
1	Gian-Luigi Ferrari 0002, Ugo Montanari	Tiles for concurrent and located calculi?	EXPRESS	1997	DBLP DOI BibTeX RDF
1	Luca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist	Relating semantic models for the object calculus.	EXPRESS	1997	DBLP DOI BibTeX RDF
1	Roberto Bruni, Ugo Montanari	Zero-safe nets, or transition synchronization made simple.	EXPRESS	1997	DBLP DOI BibTeX RDF
1	François Laroussinie, Philippe Schnoebelen	Specification in CTL+Past, verification in CTL.	EXPRESS	1997	DBLP DOI BibTeX RDF
1	Vaughan R. Pratt	Types as processes, via Chu spaces.	EXPRESS	1997	DBLP DOI BibTeX RDF
1	Catuscia Palamidessi, Joachim Parrow	Foreword.	EXPRESS	1997	DBLP DOI BibTeX RDF
1	Christel Baier, Marta Z. Kwiatkowska	Domain equations for probabilistic processes.	EXPRESS	1997	DBLP DOI BibTeX RDF
1	Flavio Corradini, Gian-Luigi Ferrari 0002, Marco Pistore	Eager, busy-waiting and lazy actions in timed computation?	EXPRESS	1997	DBLP DOI BibTeX RDF
1	Zena M. Ariola, Jan Willem Klop, Detlef Plump	Confluent rewriting of bisimilar term graphs.	EXPRESS	1997	DBLP DOI BibTeX RDF
1	Uwe Nestmann	What is a 'good' encoding of guarded choice?	EXPRESS	1997	DBLP DOI BibTeX RDF
1	Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro	On the Turing equivalence of Linda coordination primitives.	EXPRESS	1997	DBLP DOI BibTeX RDF
1	Thomas Gehrke, Arend Rensink	Process creation and full sequential composition in a name-passing calculus.	EXPRESS	1997	DBLP DOI BibTeX RDF
1	Catuscia Palamidessi, Joachim Parrow (eds.)	International Workshop on Expressiveness in Concurrency, EXPRESS 1997, Santa Margherita Ligure, Italy, September 8-12, 1997	EXPRESS	1997	DBLP BibTeX RDF

Publications at "EXPRESS"( http://dblp.L3S.de/Venues/EXPRESS )