• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 51 matches

• 2006
• 
  Luca Aceto, Andrew D. Gordon:
  Proceedings of the Workshop "Essays on Algebraic Process Calculi", APC 25, Bertinoro, Italy, August 1-5, 2005. Electronic Notes in Theoretical Computer Science 162, Elsevier 2006 [contents]
• 2005
• 
  Samson Abramsky:
  What are the Fundamental Structures of Concurrency?: We still don't know! APC 25 2005: 37-41
• 
  Luca Aceto, Wan J. Fokkink:
  The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems. APC 25 2005: 43-48
• 
  Luca Aceto, Andrew D. Gordon:
  Preface. APC 25 2005: 1-2
• 
  Roberto M. Amadio, Gérard Boudol, Frédéric Boussinot, Ilaria Castellani:
  Reactive Concurrent Programming Revisited. APC 25 2005: 49-60
• 
  Jos C. M. Baeten, Jan A. Bergstra:
  Six Themes for Future Concurrency Research. APC 25 2005: 61-64
• 
  Jos C. M. Baeten, Mario Bravetti:
  A Generic Process Algebra. APC 25 2005: 65-71
• 
  Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf:
  Bisimulation and Simulation Relations for Markov Chains. APC 25 2005: 73-78
• 
  Jan A. Bergstra:
  On the Design Rationale of ACP Style Process Algebras. APC 25 2005: 79-85
• 
  Marco Bernardo:
  Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity. APC 25 2005: 87-99
• 
  Tommaso Bolognesi:
  Process Algebra Under the Light of Wolfram's NKS. APC 25 2005: 101-105
• 
  Mario Bravetti:
  Stochastic and Real Time in Process Algebra: A Conceptual Overview. APC 25 2005: 113-119
• 
  Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen:
  YMCA: - Why Markov Chain Algebra? - . APC 25 2005: 107-112
• 
  Mario Bravetti, Gianluigi Zavattaro:
  Service Oriented Computing: A New Challenge for Process Algebras. APC 25 2005: 121-125
• 
  Stephen Brookes:
  Retracing CSP. APC 25 2005: 127-133
• 
  Maria Grazia Buscemi, Ugo Montanari:
  A Compositional Coalgebraic Model of a Fragment of Fusion Calculus. APC 25 2005: 135-139
• 
  Nadia Busi, Gianluigi Zavattaro:
  A Process Algebraic View of Coordination. APC 25 2005: 141-145
• 
  Samuele Carpineti, Cosimo Laneve:
  A Rude Contract Language for Web Services. APC 25 2005: 147-152
• 
  Pieter J. L. Cuijpers, Michel A. Reniers:
  Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis. APC 25 2005: 153-158
• 
  Zoltán Ésik:
  Cascade Products and Temporal Logics on Finite Trees. APC 25 2005: 163-166
• 
  Rachele Fuzzati, Uwe Nestmann:
  Much Ado About Nothing? APC 25 2005: 167-171
• 
  Rob J. van Glabbeek:
  On Specifying Timeouts. APC 25 2005: 173-175
• 
  Andrew D. Gordon:
  V for Virtual. APC 25 2005: 177-181
• 
  Clemens Grabmayer, Jan Willem Klop, Bas Luttik:
  Reflections on a Geometry of Processes. APC 25 2005: 183-190
• 
  Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko:
  From µCRL to mCRL2: Motivation and Outline. APC 25 2005: 191-196
• 
  Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko:
  Discretization of Timed Automata in Timed mu. APC 25 2005: 197-202
• 
  Radu Grosu, Scott A. Smolka:
  Monte Carlo Methods for Process Algebra. APC 25 2005: 203-207
• 
  Tony Hoare:
  Why ever CSP? APC 25 2005: 209-215
• 
  Kohei Honda:
  Process Algebras in the Age of Ubiquitous Computing. APC 25 2005: 217-220
• 
  Insup Lee, Anna Philippou, Oleg Sokolsky:
  A Family of Resource-Bound Real-Time Process Algebras. APC 25 2005: 221-226

skipping 21 more matches