Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ugo Dal Lago, Paolo Di Giamberardino |
Soft Session Types |
EXPRESS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann |
Synchrony vs Causality in the Asynchronous Pi-Calculus |
EXPRESS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Damian Nadales Agut, Michel A. Reniers |
Linearization of CIF Through SOS |
EXPRESS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Read Operators and their Expressiveness in Process Algebras |
EXPRESS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Iain Phillips 0001, Irek Ulidowski |
A Logic with Reverse Modalities for History-preserving Bisimulations |
EXPRESS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bas Luttik, Frank Valencia (eds.) |
Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011. |
EXPRESS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino |
Graphical representation of covariant-contravariant modal formulae |
EXPRESS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz |
Synchrony vs. Causality in Asynchronous Petri Nets |
EXPRESS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ioana Cristescu, Daniel Hirschkoff |
Termination in a Pi-calculus with Subtyping |
EXPRESS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini |
Information Flow Safety in Multiparty Sessions |
EXPRESS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg |
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract) |
EXPRESS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lasse Nielsen, Nobuko Yoshida, Kohei Honda 0001 |
Multiparty Symmetric Sum Types |
EXPRESS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Simone Martini 0001, Davide Sangiorgi |
Light Logics and Higher-Order Processes |
EXPRESS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gavin Lowe |
Models for CSP with availability information |
EXPRESS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sibylle B. Fröschle, Frank D. Valencia (eds.) |
Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010. |
EXPRESS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter D. Mosses, Mohammad Reza Mousavi 0001, Michel A. Reniers |
Robustness of Equations Under Operational Extensions |
EXPRESS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Diego Figueira, Piotr Hofman, Slawomir Lasota 0001 |
Relating timed and register automata |
EXPRESS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Federico Banti, Rosario Pugliese, Francesco Tiezzi 0001 |
A criterion for separating process calculi |
EXPRESS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kirstin Peters, Uwe Nestmann |
Breaking Symmetries |
EXPRESS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Cerone, Matthew Hennessy |
Process Behaviour: Formulae vs. Tests (Extended Abstract) |
EXPRESS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Gorrieri, Cristian Versari |
A Process Calculus for Expressing Finite Place/Transition Petri Nets |
EXPRESS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | 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 |
|
1 | Tomás Babiak, Vojtech Rehák, Jan Strejcek |
Almost Linear Büchi Automata |
EXPRESS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Gazda, Wan J. Fokkink |
Modal Logic and the Approximation Induction Principle |
EXPRESS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Anna Ingólfsdóttir, Joshua Sack |
Characteristic Formulae for Fixed-Point Semantics: A General Framework |
EXPRESS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Joshua D. Guttman |
Security Theorems via Model Theory |
EXPRESS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Katrin Iltgen, Walter Vogler |
Robustness of a bisimulation-type faster-than preorder |
EXPRESS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Thomas T. Hildebrandt, Daniele Gorla |
Preface. |
EXPRESS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding). |
EXPRESS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michele Bugliesi, Riccardo Focardi |
Security Abstractions and Intruder Models (Extended Abstract). |
EXPRESS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Jens Chr. Godskesen |
A Calculus for Mobile Ad-hoc Networks with Static Location Binding. |
EXPRESS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sibylle B. Fröschle |
Adding Branching to the Strand Space Model. |
EXPRESS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Roberto M. Amadio |
On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS. |
EXPRESS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Roberto Zunino |
Hard Life with Weak Binders. |
EXPRESS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | Johannes Borgström, Andrew D. Gordon 0001, Andrew Phillips |
A Chart Semantics for the Pi-Calculus. |
EXPRESS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bjørn Haagensen, Sergio Maffeis, Iain Phillips 0001 |
Matching Systems for Concurrent Calculi. |
EXPRESS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Roberto M. Amadio, Thomas T. Hildebrandt |
Preface. |
EXPRESS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti |
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems. |
EXPRESS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Luís Caires, Hugo Torres Vieira |
Extensionality of Spatial Observations in Distributed Systems. |
EXPRESS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi |
Fair Pi. |
EXPRESS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Jean Krivine, Pawel Sobocinski 0001 |
General Reversibility. |
EXPRESS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lucy Saunders-Evans, Glynn Winskel |
Event Structure Spans for Nondeterministic Dataflow. |
EXPRESS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Jan Strejcek, Tayssir Touili |
On Symbolic Verification of Weakly Extended PAD. |
EXPRESS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Gorla |
Synchrony vs Asynchrony in Communication Primitives. |
EXPRESS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Roberto M. Amadio, Iain Phillips 0001 |
Preface. |
EXPRESS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Robin Milner |
Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract). |
EXPRESS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Xu Wang 0001, Marta Z. Kwiatkowska |
Compositional State Space Reduction Using Untangled Actions. |
EXPRESS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Sibylle B. Fröschle, Slawomir Lasota 0001 |
Causality Versus True-Concurrency. |
EXPRESS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Borgström |
Static Equivalence is Harder than Knowledge. |
EXPRESS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi |
Separation of Synchronous and Asynchronous Communication Via Testing. |
EXPRESS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Roberto M. Amadio, Frédéric Dabrowski |
Feasible Reactivity for Synchronous Cooperative Threads. |
EXPRESS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Briais, Uwe Nestmann |
Open Bisimulation, Revisited. |
EXPRESS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Philippe Schnoebelen |
A Short Visit to the STS Hierarchy. |
EXPRESS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny |
A Petri Net Semantics of a Simple Process Algebra for Mobility. |
EXPRESS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Jos C. M. Baeten, Iain C. C. Phillips |
Preface. |
EXPRESS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | 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 |
|
1 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Fairness of Components in System Computations. |
EXPRESS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Harald Fecher, Martin Steffen |
Characteristic mu-Calculus Formulas for Underspecified Transition Systems. |
EXPRESS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Suzana Andova, Tim A. C. Willemse |
Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract). |
EXPRESS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jos C. M. Baeten, Flavio Corradini |
Preface. |
EXPRESS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Xudong Guan |
Name-Passing in an Ambient-Like Calculus and Its Proof Using Spatial Logic. |
EXPRESS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
On the Expressive Power of Klaim-based Calculi. |
EXPRESS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Iain Phillips 0001, Maria Grazia Vigliotti |
Leader Election in Rings of Ambient Processes. |
EXPRESS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rob J. van Glabbeek |
On the Expressiveness of Higher Dimensional Automata: (Extended Abstract). |
EXPRESS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Reynald Affeldt, Naoki Kobayashi 0001 |
Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes. |
EXPRESS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Beffara, François Maurel |
Concurrent Nets: A Study of Prefixing in Process Calculi. |
EXPRESS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Étienne Lozes |
Adjuncts elimination in the static ambient logic. |
EXPRESS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Michael W. Mislove, Joël Ouaknine, James Worrell 0001 |
Axioms for Probability and Nondeterminism. |
EXPRESS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Christie Bolton, Gavin Lowe |
A Hierarchy of Failures-Based Models. |
EXPRESS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Corradini, Uwe Nestmann |
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. |
EXPRESS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ruggero Lanotte |
Expressive Power of Hybrid Systems with Variables, Parameters and Arrays. |
EXPRESS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Maffeis, Iain Phillips 0001 |
On the Computational Strength of Pure Ambient Calculi. |
EXPRESS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Richard Mayr |
Weak Bisimilarity and Regularity of Context-Free Processes is EXPTIME-hard. |
EXPRESS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Harald Fecher |
Event Structures for Interrupt Process Algebras. |
EXPRESS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi |
On the Representation of McCarthy's amb in the π-calculus. |
EXPRESS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto |
Nested Semantics over Finite Trees are Equationally Hard: Invited Talk. |
EXPRESS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Igor Walukiewicz |
Describing properties of concurrent systems (Logic for Traces) (invited talk). |
EXPRESS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Catuscia Palamidessi |
On the Expressive Power of Temporal Concurrent Constraint Programming Languages (invited talk). |
EXPRESS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Lionel Khalil |
Interaction Nets with McCarthy's amb. |
EXPRESS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Markey |
Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past. |
EXPRESS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Joël Ouaknine, James Worrell 0001 |
Timed CSP = Closed Timed Safety Automata. |
EXPRESS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Danièle Beauquier, Yoram Hirshfeld, Alexander Moshe Rabinovich, Anatol Slissenko |
The Probability Nesting Game. |
EXPRESS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Rance Cleaveland, Gerald Lüttgen |
A Logical Process Calculus. |
EXPRESS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lange |
Alternating Context-Free Languages and Linear Time mu-Calculus with Sequential Composition. |
EXPRESS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ulrik Frendrup, Hans Hüttel, Jesper Nyholm Jensen |
Modal Logics for Cryptographic Processes. |
EXPRESS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Nestmann, Prakash Panangaden |
Preface. |
EXPRESS |
2002 |
DBLP DOI BibTeX RDF |
|