• 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 8 matches

• 2017
• 
  Antoine Genitrini:
  Combinatoire énumérative et analytique en Logique Propositionnelle et en Théorie de la Concurrence : Vers une quantification de l'expressivité des modèles. (Enumerative and Analytic Combinatorics for Propositional Logic and Concurrency Theory : Towards a quantification of the model expressiveness). UPMC, Paris, France, 2017
• 2012
• 
  Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes:
  Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010. CEUR Workshop Proceedings 827, CEUR-WS.org 2012 [contents]
• 2009
• 
  Li Su:
  Modelling human cognition using concurrency theory. University of Kent, UK, 2009
• 
  Ivan Castilla, F. C. García, Rosa María Aguilar:
  Exploiting concurrency in the implementation of a discrete event simulator. Simul. Model. Pract. Theory 17(5): 850-870 (2009)
• 2007
• 
  Jetty Kleijn, Alexandre Yakovlev:
  Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings. Lecture Notes in Computer Science 4546, Springer 2007, ISBN 978-3-540-73093-4 [contents]
• 2006
• 
  Susanna Donatelli, P. S. Thiagarajan:
  Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings. Lecture Notes in Computer Science 4024, Springer 2006, ISBN 3-540-34699-6 [contents]
• 1998
• 
  Claudio Dupré:
  Domain models of typed lambda calculi: towards a theory of concurrency in typed functional setting. University of Siegen, Germany, Shaker 1998, ISBN 978-3-8265-3436-2, pp. 1-130
• 1993
• 
  Kevin J. Compton, Rosario Uceda-Sosa:
  The Model Theory of Concurrency. CSL 1993: 78-90