The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/express

Publication years (Num. hits)
1997 (18) 1998-1999 (21) 2000-2001 (15) 2002-2003 (25) 2004-2005 (23) 2006-2007 (16) 2008-2009 (19) 2010-2011 (21)
Publication types (Num. hits)
inproceedings(143) proceedings(15)
Venues (Conferences, Journals, ...)
EXPRESS(158)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

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