Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ugo Dal Lago, Paolo Di Giamberardino |
Soft Session Types ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011., pp. 59-73, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann |
Synchrony vs Causality in the Asynchronous Pi-Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011., pp. 89-103, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Damian Nadales Agut, Michel A. Reniers |
Linearization of CIF Through SOS ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011., pp. 74-88, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Read Operators and their Expressiveness in Process Algebras ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011., pp. 31-43, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Iain Phillips 0001, Irek Ulidowski |
A Logic with Reverse Modalities for History-preserving Bisimulations ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011., pp. 104-118, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011., pp. 1-15, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz |
Synchrony vs. Causality in Asynchronous Petri Nets ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011., pp. 119-131, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ioana Cristescu, Daniel Hirschkoff |
Termination in a Pi-calculus with Subtyping ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011., pp. 44, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini |
Information Flow Safety in Multiparty Sessions ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011., pp. 16-30, 2011. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010., pp. 1-15, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lasse Nielsen, Nobuko Yoshida, Kohei Honda 0001 |
Multiparty Symmetric Sum Types ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010., pp. 121-135, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Simone Martini 0001, Davide Sangiorgi |
Light Logics and Higher-Order Processes ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010., pp. 46-60, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gavin Lowe |
Models for CSP with availability information ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010., pp. 91-105, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter D. Mosses, Mohammad Reza Mousavi 0001, Michel A. Reniers |
Robustness of Equations Under Operational Extensions ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010., pp. 106-120, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Diego Figueira, Piotr Hofman, Slawomir Lasota 0001 |
Relating timed and register automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010., pp. 61-75, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Federico Banti, Rosario Pugliese, Francesco Tiezzi 0001 |
A criterion for separating process calculi ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010., pp. 16-30, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kirstin Peters, Uwe Nestmann |
Breaking Symmetries ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010., pp. 136-150, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Cerone, Matthew Hennessy |
Process Behaviour: Formulae vs. Tests (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010., pp. 31-45, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Gorrieri, Cristian Versari |
A Process Calculus for Expressing Finite Place/Transition Petri Nets ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010., pp. 76-90, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 16th International Workshop on Expressiveness in Concurrency, EXPRESS 2009, Bologna, Italy, 5th September 2009., pp. 26-40, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Babiak, Vojtech Rehák, Jan Strejcek |
Almost Linear Büchi Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 16th International Workshop on Expressiveness in Concurrency, EXPRESS 2009, Bologna, Italy, 5th September 2009., pp. 16-25, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Gazda, Wan J. Fokkink |
Modal Logic and the Approximation Induction Principle ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 16th International Workshop on Expressiveness in Concurrency, EXPRESS 2009, Bologna, Italy, 5th September 2009., pp. 41-50, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Anna Ingólfsdóttir, Joshua Sack |
Characteristic Formulae for Fixed-Point Semantics: A General Framework ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 16th International Workshop on Expressiveness in Concurrency, EXPRESS 2009, Bologna, Italy, 5th September 2009., pp. 1-15, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Joshua D. Guttman |
Security Theorems via Model Theory ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 16th International Workshop on Expressiveness in Concurrency, EXPRESS 2009, Bologna, Italy, 5th September 2009., pp. 51-65, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Katrin Iltgen, Walter Vogler |
Robustness of a bisimulation-type faster-than preorder ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 16th International Workshop on Expressiveness in Concurrency, EXPRESS 2009, Bologna, Italy, 5th September 2009., pp. 66-79, 2009. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Thomas T. Hildebrandt, Daniele Gorla |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008, pp. 1-2, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008, pp. 73-98, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michele Bugliesi, Riccardo Focardi |
Security Abstractions and Intruder Models (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008, pp. 99-112, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008, pp. 35-48, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jens Chr. Godskesen |
A Calculus for Mobile Ad-hoc Networks with Static Location Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008, pp. 161-183, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sibylle B. Fröschle |
Adding Branching to the Strand Space Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008, pp. 139-159, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Roberto M. Amadio |
On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008, pp. 3-17, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Roberto Zunino |
Hard Life with Weak Binders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008, pp. 49-72, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008, pp. 19-33, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008, pp. 113-138, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![Elsevier The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 14th International Workshop on Expressiveness in Concurrency, EXPRESS 2007, Lisbon, Portugal, September 3, 2007, pp. 59-84, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Borgström, Andrew D. Gordon 0001, Andrew Phillips |
A Chart Semantics for the Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 14th International Workshop on Expressiveness in Concurrency, EXPRESS 2007, Lisbon, Portugal, September 3, 2007, pp. 3-29, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bjørn Haagensen, Sergio Maffeis, Iain Phillips 0001 |
Matching Systems for Concurrent Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 14th International Workshop on Expressiveness in Concurrency, EXPRESS 2007, Lisbon, Portugal, September 3, 2007, pp. 85-99, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Roberto M. Amadio, Thomas T. Hildebrandt |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 14th International Workshop on Expressiveness in Concurrency, EXPRESS 2007, Lisbon, Portugal, September 3, 2007, pp. 1, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti |
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 14th International Workshop on Expressiveness in Concurrency, EXPRESS 2007, Lisbon, Portugal, September 3, 2007, pp. 31-57, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Luís Caires, Hugo Torres Vieira |
Extensionality of Spatial Observations in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, Bonn, Germany, August 26, 2006, pp. 131-149, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi |
Fair Pi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, Bonn, Germany, August 26, 2006, pp. 3-26, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Jean Krivine, Pawel Sobocinski 0001 |
General Reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, Bonn, Germany, August 26, 2006, pp. 75-86, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lucy Saunders-Evans, Glynn Winskel |
Event Structure Spans for Nondeterministic Dataflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, Bonn, Germany, August 26, 2006, pp. 109-129, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Jan Strejcek, Tayssir Touili |
On Symbolic Verification of Weakly Extended PAD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, Bonn, Germany, August 26, 2006, pp. 47-64, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Gorla |
Synchrony vs Asynchrony in Communication Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, Bonn, Germany, August 26, 2006, pp. 87-108, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Roberto M. Amadio, Iain Phillips 0001 |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, Bonn, Germany, August 26, 2006, pp. 1-2, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Robin Milner |
Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, Bonn, Germany, August 26, 2006, pp. 65-73, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Xu Wang 0001, Marta Z. Kwiatkowska |
Compositional State Space Reduction Using Untangled Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, Bonn, Germany, August 26, 2006, pp. 27-46, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Sibylle B. Fröschle, Slawomir Lasota 0001 |
Causality Versus True-Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005, pp. 3-18, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Borgström |
Static Equivalence is Harder than Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005, pp. 45-57, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi |
Separation of Synchronous and Asynchronous Communication Via Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005, pp. 95-108, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Roberto M. Amadio, Frédéric Dabrowski |
Feasible Reactivity for Synchronous Cooperative Threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005, pp. 33-43, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Briais, Uwe Nestmann |
Open Bisimulation, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005, pp. 109-123, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Philippe Schnoebelen |
A Short Visit to the STS Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005, pp. 59-69, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny |
A Petri Net Semantics of a Simple Process Algebra for Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005, pp. 71-94, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005, pp. 19-32, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jos C. M. Baeten, Iain C. C. Phillips |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005, pp. 1-2, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![Elsevier The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004, pp. 87-101, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Fairness of Components in System Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004, pp. 35-52, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Harald Fecher, Martin Steffen |
Characteristic mu-Calculus Formulas for Underspecified Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004, pp. 103-116, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Suzana Andova, Tim A. C. Willemse |
Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004, pp. 53-66, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jos C. M. Baeten, Flavio Corradini |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004, pp. 1-3, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Xudong Guan |
Name-Passing in an Ambient-Like Calculus and Its Proof Using Spatial Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004, pp. 169-183, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
On the Expressive Power of Klaim-based Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004, pp. 117-130, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004, pp. 131-150, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Iain Phillips 0001, Maria Grazia Vigliotti |
Leader Election in Rings of Ambient Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004, pp. 185-199, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rob J. van Glabbeek |
On the Expressiveness of Higher Dimensional Automata: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004, pp. 5-34, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Reynald Affeldt, Naoki Kobayashi 0001 |
Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004, pp. 151-168, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Beffara, François Maurel |
Concurrent Nets: A Study of Prefixing in Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004, pp. 67-86, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Étienne Lozes |
Adjuncts elimination in the static ambient logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003, pp. 51-72, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Michael W. Mislove, Joël Ouaknine, James Worrell 0001 |
Axioms for Probability and Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003, pp. 7-28, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Christie Bolton, Gavin Lowe |
A Hierarchy of Failures-Based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003, pp. 129-152, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Corradini, Uwe Nestmann |
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003, pp. 1-3, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ruggero Lanotte |
Expressive Power of Hybrid Systems with Variables, Parameters and Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003, pp. 91-112, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Maffeis, Iain Phillips 0001 |
On the Computational Strength of Pure Ambient Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003, pp. 29-49, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Richard Mayr |
Weak Bisimilarity and Regularity of Context-Free Processes is EXPTIME-hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003, pp. 153-172, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Harald Fecher |
Event Structures for Interrupt Process Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003, pp. 113-127, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi |
On the Representation of McCarthy's amb in the π-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003, pp. 73-89, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto |
Nested Semantics over Finite Trees are Equationally Hard: Invited Talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003, pp. 5-6, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Igor Walukiewicz |
Describing properties of concurrent systems (Logic for Traces) (invited talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: 9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002, pp. 69, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Catuscia Palamidessi |
On the Expressive Power of Temporal Concurrent Constraint Programming Languages (invited talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: 9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002, pp. 3, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Lionel Khalil |
Interaction Nets with McCarthy's amb. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: 9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002, pp. 51-68, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Markey |
Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: 9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002, pp. 87-104, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Joël Ouaknine, James Worrell 0001 |
Timed CSP = Closed Timed Safety Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: 9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002, pp. 142-159, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Danièle Beauquier, Yoram Hirshfeld, Alexander Moshe Rabinovich, Anatol Slissenko |
The Probability Nesting Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: 9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002, pp. 4-14, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Rance Cleaveland, Gerald Lüttgen |
A Logical Process Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: 9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002, pp. 33-50, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lange |
Alternating Context-Free Languages and Linear Time mu-Calculus with Sequential Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: 9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002, pp. 70-86, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ulrik Frendrup, Hans Hüttel, Jesper Nyholm Jensen |
Modal Logics for Cryptographic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: 9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002, pp. 124-141, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Nestmann, Prakash Panangaden |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: 9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002, pp. 1-2, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|