Search results for "EXPRESS"

Hits ?▲	Authors	Title	Venue	Year	Link
22	Federico Banti, Rosario Pugliese, Francesco Tiezzi 0001	A criterion for separating process calculi	EXPRESS	2010	DBLP DOI BibTeX RDF
22	Kirstin Peters, Uwe Nestmann	Breaking Symmetries	EXPRESS	2010	DBLP DOI BibTeX RDF
22	Andrea Cerone, Matthew Hennessy	Process Behaviour: Formulae vs. Tests (Extended Abstract)	EXPRESS	2010	DBLP DOI BibTeX RDF
22	Roberto Gorrieri, Cristian Versari	A Process Calculus for Expressing Finite Place/Transition Petri Nets	EXPRESS	2010	DBLP DOI BibTeX RDF
22	Sibylle B. Fröschle, Daniele Gorla (eds.)	Proceedings 16th International Workshop on Expressiveness in Concurrency, EXPRESS 2009, Bologna, Italy, 5th September 2009.	EXPRESS	2009	DBLP DOI BibTeX RDF
22	Thomas T. Hildebrandt, Daniele Gorla (eds.)	Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008	EXPRESS	2009	DBLP BibTeX RDF
22	Edgar G. Daylight, Sandeep K. Shukla, Davide Sergio	Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic	EXPRESS	2009	DBLP DOI BibTeX RDF
22	Tomás Babiak, Vojtech Rehák, Jan Strejcek	Almost Linear Büchi Automata	EXPRESS	2009	DBLP DOI BibTeX RDF
22	Maciej Gazda, Wan J. Fokkink	Modal Logic and the Approximation Induction Principle	EXPRESS	2009	DBLP DOI BibTeX RDF
22	Luca Aceto, Anna Ingólfsdóttir, Joshua Sack	Characteristic Formulae for Fixed-Point Semantics: A General Framework	EXPRESS	2009	DBLP DOI BibTeX RDF
22	Joshua D. Guttman	Security Theorems via Model Theory	EXPRESS	2009	DBLP DOI BibTeX RDF
22	Katrin Iltgen, Walter Vogler	Robustness of a bisimulation-type faster-than preorder	EXPRESS	2009	DBLP DOI BibTeX RDF
22	Roberto M. Amadio, Thomas T. Hildebrandt (eds.)	Proceedings of the 14th International Workshop on Expressiveness in Concurrency, EXPRESS 2007, Lisbon, Portugal, September 3, 2007	EXPRESS	2008	DBLP BibTeX RDF
22	Thomas T. Hildebrandt, Daniele Gorla	Preface.	EXPRESS	2008	DBLP DOI BibTeX RDF
22	Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale	Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding).	EXPRESS	2008	DBLP DOI BibTeX RDF
22	Michele Bugliesi, Riccardo Focardi	Security Abstractions and Intruder Models (Extended Abstract).	EXPRESS	2008	DBLP DOI BibTeX RDF
22	Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg	A Basic Parallel Process as a Parallel Pushdown Automaton.	EXPRESS	2008	DBLP DOI BibTeX RDF
22	Jens Chr. Godskesen	A Calculus for Mobile Ad-hoc Networks with Static Location Binding.	EXPRESS	2008	DBLP DOI BibTeX RDF
22	Sibylle B. Fröschle	Adding Branching to the Strand Space Model.	EXPRESS	2008	DBLP DOI BibTeX RDF
22	Roberto M. Amadio	On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS.	EXPRESS	2008	DBLP DOI BibTeX RDF
22	Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Roberto Zunino	Hard Life with Weak Binders.	EXPRESS	2008	DBLP DOI BibTeX RDF
22	Adam Antonik, Michael Huth 0001, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski	EXPTIME-complete Decision Problems for Modal and Mixed Specifications.	EXPRESS	2008	DBLP DOI BibTeX RDF
22	Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel	Decidable Fragments of a Higher Order Calculus with Locations.	EXPRESS	2008	DBLP DOI BibTeX RDF
22	Roberto M. Amadio, Iain Phillips 0001 (eds.)	Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, Bonn, Germany, August 26, 2006	EXPRESS	2007	DBLP BibTeX RDF
22	Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia	Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus.	EXPRESS	2007	DBLP DOI BibTeX RDF
22	Johannes Borgström, Andrew D. Gordon 0001, Andrew Phillips	A Chart Semantics for the Pi-Calculus.	EXPRESS	2007	DBLP DOI BibTeX RDF
22	Bjørn Haagensen, Sergio Maffeis, Iain Phillips 0001	Matching Systems for Concurrent Calculi.	EXPRESS	2007	DBLP DOI BibTeX RDF
22	Roberto M. Amadio, Thomas T. Hildebrandt	Preface.	EXPRESS	2007	DBLP DOI BibTeX RDF
22	Mario Bravetti	Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems.	EXPRESS	2007	DBLP DOI BibTeX RDF
22	Jos C. M. Baeten, Iain C. C. Phillips (eds.)	Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005	EXPRESS	2006	DBLP BibTeX RDF
22	Luís Caires, Hugo Torres Vieira	Extensionality of Spatial Observations in Distributed Systems.	EXPRESS	2006	DBLP DOI BibTeX RDF
22	Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi	Fair Pi.	EXPRESS	2006	DBLP DOI BibTeX RDF
22	Vincent Danos, Jean Krivine, Pawel Sobocinski 0001	General Reversibility.	EXPRESS	2006	DBLP DOI BibTeX RDF
22	Lucy Saunders-Evans, Glynn Winskel	Event Structure Spans for Nondeterministic Dataflow.	EXPRESS	2006	DBLP DOI BibTeX RDF
22	Ahmed Bouajjani, Jan Strejcek, Tayssir Touili	On Symbolic Verification of Weakly Extended PAD.	EXPRESS	2006	DBLP DOI BibTeX RDF
22	Daniele Gorla	Synchrony vs Asynchrony in Communication Primitives.	EXPRESS	2006	DBLP DOI BibTeX RDF
22	Roberto M. Amadio, Iain Phillips 0001	Preface.	EXPRESS	2006	DBLP DOI BibTeX RDF
22	Robin Milner	Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract).	EXPRESS	2006	DBLP DOI BibTeX RDF
22	Xu Wang 0001, Marta Z. Kwiatkowska	Compositional State Space Reduction Using Untangled Actions.	EXPRESS	2006	DBLP DOI BibTeX RDF
22	Jos C. M. Baeten, Flavio Corradini (eds.)	Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004	EXPRESS	2005	DBLP BibTeX RDF
22	Sibylle B. Fröschle, Slawomir Lasota 0001	Causality Versus True-Concurrency.	EXPRESS	2005	DBLP DOI BibTeX RDF
22	Johannes Borgström	Static Equivalence is Harder than Knowledge.	EXPRESS	2005	DBLP DOI BibTeX RDF
22	Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi	Separation of Synchronous and Asynchronous Communication Via Testing.	EXPRESS	2005	DBLP DOI BibTeX RDF
22	Roberto M. Amadio, Frédéric Dabrowski	Feasible Reactivity for Synchronous Cooperative Threads.	EXPRESS	2005	DBLP DOI BibTeX RDF
22	Sébastien Briais, Uwe Nestmann	Open Bisimulation, Revisited.	EXPRESS	2005	DBLP DOI BibTeX RDF
22	Nathalie Bertrand 0001, Philippe Schnoebelen	A Short Visit to the STS Hierarchy.	EXPRESS	2005	DBLP DOI BibTeX RDF
22	Raymond R. Devillers, Hanna Klaudel, Maciej Koutny	A Petri Net Semantics of a Simple Process Algebra for Mobility.	EXPRESS	2005	DBLP DOI BibTeX RDF
22	Maribel Fernández, Ian Mackie, François-Régis Sinot	Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets.	EXPRESS	2005	DBLP DOI BibTeX RDF
22	Jos C. M. Baeten, Iain C. C. Phillips	Preface.	EXPRESS	2005	DBLP DOI BibTeX RDF
22	Flavio Corradini, Uwe Nestmann (eds.)	Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003	EXPRESS	2004	DBLP BibTeX RDF
22	Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin	On the omega-language Expressive Power of Extended Petri Nets.	EXPRESS	2004	DBLP DOI BibTeX RDF
22	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Fairness of Components in System Computations.	EXPRESS	2004	DBLP DOI BibTeX RDF
22	Harald Fecher, Martin Steffen	Characteristic mu-Calculus Formulas for Underspecified Transition Systems.	EXPRESS	2004	DBLP DOI BibTeX RDF
22	Suzana Andova, Tim A. C. Willemse	Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract).	EXPRESS	2004	DBLP DOI BibTeX RDF
22	Jos C. M. Baeten, Flavio Corradini	Preface.	EXPRESS	2004	DBLP DOI BibTeX RDF
22	Xudong Guan	Name-Passing in an Ambient-Like Calculus and Its Proof Using Spatial Logic.	EXPRESS	2004	DBLP DOI BibTeX RDF
22	Rocco De Nicola, Daniele Gorla, Rosario Pugliese	On the Expressive Power of Klaim-based Calculi.	EXPRESS	2004	DBLP DOI BibTeX RDF
22	Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen	A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources.	EXPRESS	2004	DBLP DOI BibTeX RDF
22	Iain Phillips 0001, Maria Grazia Vigliotti	Leader Election in Rings of Ambient Processes.	EXPRESS	2004	DBLP DOI BibTeX RDF
22	Rob J. van Glabbeek	On the Expressiveness of Higher Dimensional Automata: (Extended Abstract).	EXPRESS	2004	DBLP DOI BibTeX RDF
22	Reynald Affeldt, Naoki Kobayashi 0001	Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes.	EXPRESS	2004	DBLP DOI BibTeX RDF
22	Emmanuel Beffara, François Maurel	Concurrent Nets: A Study of Prefixing in Process Calculi.	EXPRESS	2004	DBLP DOI BibTeX RDF
22	Luca Aceto, Björn Victor (eds.)	7th International Workshop on Expressiveness in Concurrency, EXPRESS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000	EXPRESS	2003	DBLP BibTeX RDF
22	Étienne Lozes	Adjuncts elimination in the static ambient logic.	EXPRESS	2003	DBLP DOI BibTeX RDF
22	Michael W. Mislove, Joël Ouaknine, James Worrell 0001	Axioms for Probability and Nondeterminism.	EXPRESS	2003	DBLP DOI BibTeX RDF
22	Christie Bolton, Gavin Lowe	A Hierarchy of Failures-Based Models.	EXPRESS	2003	DBLP DOI BibTeX RDF
22	Flavio Corradini, Uwe Nestmann	Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency.	EXPRESS	2003	DBLP DOI BibTeX RDF
22	Ruggero Lanotte	Expressive Power of Hybrid Systems with Variables, Parameters and Arrays.	EXPRESS	2003	DBLP DOI BibTeX RDF
22	Sergio Maffeis, Iain Phillips 0001	On the Computational Strength of Pure Ambient Calculi.	EXPRESS	2003	DBLP DOI BibTeX RDF
22	Richard Mayr	Weak Bisimilarity and Regularity of Context-Free Processes is EXPTIME-hard.	EXPRESS	2003	DBLP DOI BibTeX RDF
22	Harald Fecher	Event Structures for Interrupt Process Algebras.	EXPRESS	2003	DBLP DOI BibTeX RDF
22	Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi	On the Representation of McCarthy's amb in the π-calculus.	EXPRESS	2003	DBLP DOI BibTeX RDF
22	Luca Aceto	Nested Semantics over Finite Trees are Equationally Hard: Invited Talk.	EXPRESS	2003	DBLP DOI BibTeX RDF
22	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
22	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
22	Igor Walukiewicz	Describing properties of concurrent systems (Logic for Traces) (invited talk).	EXPRESS	2002	DBLP DOI BibTeX RDF
22	Catuscia Palamidessi	On the Expressive Power of Temporal Concurrent Constraint Programming Languages (invited talk).	EXPRESS	2002	DBLP DOI BibTeX RDF
22	Maribel Fernández, Lionel Khalil	Interaction Nets with McCarthy's amb.	EXPRESS	2002	DBLP DOI BibTeX RDF
22	Nicolas Markey	Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past.	EXPRESS	2002	DBLP DOI BibTeX RDF
22	Joël Ouaknine, James Worrell 0001	Timed CSP = Closed Timed Safety Automata.	EXPRESS	2002	DBLP DOI BibTeX RDF
22	Danièle Beauquier, Yoram Hirshfeld, Alexander Moshe Rabinovich, Anatol Slissenko	The Probability Nesting Game.	EXPRESS	2002	DBLP DOI BibTeX RDF
22	Rance Cleaveland, Gerald Lüttgen	A Logical Process Calculus.	EXPRESS	2002	DBLP DOI BibTeX RDF
22	Martin Lange	Alternating Context-Free Languages and Linear Time mu-Calculus with Sequential Composition.	EXPRESS	2002	DBLP DOI BibTeX RDF
22	Ulrik Frendrup, Hans Hüttel, Jesper Nyholm Jensen	Modal Logics for Cryptographic Processes.	EXPRESS	2002	DBLP DOI BibTeX RDF
22	Uwe Nestmann, Prakash Panangaden	Preface.	EXPRESS	2002	DBLP DOI BibTeX RDF
22	Marco Carbone, Sergio Maffeis	On the Expressive Power of Polyadic Synchronisation in pi-calculus.	EXPRESS	2002	DBLP DOI BibTeX RDF
22	Vladimiro Sassone, Pawel Sobocinski 0001	Deriving Bisimulation Congruences: A 2-categorical Approach.	EXPRESS	2002	DBLP DOI BibTeX RDF
22	Julian C. Bradfield, Sibylle B. Fröschle	On Logical and Concurrent Equivalences.	EXPRESS	2001	DBLP DOI BibTeX RDF
22	Roberto M. Amadio, Charles Meyssonnier	On the Decidability of Fragments of the Asynchronous pi-Calculus.	EXPRESS	2001	DBLP DOI BibTeX RDF
22	K. V. S. Prasad	Broadcast Calculus Interpreted in CCS upto Bisimulation.	EXPRESS	2001	DBLP DOI BibTeX RDF
22	Dina Q. Goldin, Scott A. Smolka, Peter Wegner	Turing Machines, Transition Systems, and Interaction.	EXPRESS	2001	DBLP DOI BibTeX RDF
22	Tom Chothia, Ian Stark	Encoding Distributed Areas and Local Communication into the pi-Calculus.	EXPRESS	2001	DBLP DOI BibTeX RDF
22	Alan Martin	Adequate Sets of Temporal Connectives in CTL.	EXPRESS	2001	DBLP DOI BibTeX RDF
22	Luca Aceto, Prakash Panangaden	Preface.	EXPRESS	2001	DBLP DOI BibTeX RDF
22	Anne Labroue, Philippe Schnoebelen	An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems.	EXPRESS	2001	DBLP DOI BibTeX RDF
22	Jan Strejcek	Rewrite Systems with Constraints.	EXPRESS	2001	DBLP DOI BibTeX RDF
22	Flavio Corradini, Dino Di Cola	The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes.	EXPRESS	2000	DBLP DOI BibTeX RDF
22	Jos C. M. Baeten	Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination.	EXPRESS	2000	DBLP DOI BibTeX RDF
22	Jirí Srba	Complexity of Weak Bisimilarity and Regularity for BPA and BPP.	EXPRESS	2000	DBLP DOI BibTeX RDF
22	Shoham Shamir, Orna Kupferman, Eli Shamir 0001	Branching-Depth Hierarchies.	EXPRESS	2000	DBLP DOI BibTeX RDF