Conferences in DBLP
Gérard Boudol The Lambda-Calculus with Multiplicities (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Joost Engelfriet A Multiset Semantics for the pi-Calculus with Replication. [Citation Graph (0, 0)][DBLP ] Conf ] Mads Dam Model Checking Mobile Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Glenn Bruns A Practical Technique for Process Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Maarten M. Fokkinga , Mannes Poel , Job Zwiers Modular Completeness for Communication Closed Layers. [Citation Graph (0, 0)][DBLP ] Conf ] Rob J. van Glabbeek The Linear Time - Branching Time Spectrum II. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimiro Sassone , Mogens Nielsen , Glynn Winskel A Classification of Models for Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Aceto , David Murphy On the Ill-Timed but Well-Caused. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto M. Amadio On the Reduction of Chocs Bisimulation to pi-Calculus Bisimulation. [Citation Graph (0, 0)][DBLP ] Conf ] Davide Sangiorgi A Theory of Bisimulation for the pi-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Søren Christensen , Yoram Hirshfeld , Faron Moller Bisimulation Equivalence is Decidable for Basic Parallel Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Cliff B. Jones A pi-Calculus Semantics for an Object-Based Design Notation. [Citation Graph (0, 0)][DBLP ] Conf ] K. V. S. Prasad Programming with Broadcasts. [Citation Graph (0, 0)][DBLP ] Conf ] Uno Holmer Interpreting Broadcast Communication in SCCS. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Hennessy , H. Lin Proof Systems for Message-Passing Process Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Butler Refinement and Decomposition of Value-Passing Action Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Wolper , Patrice Godefroid Partial-Order Methods for Temporal Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Ole Høgh Jensen , Jarl Tuxen Lang , Christian Jeppesen , Kim Guldstrand Larsen Model Construction for Implicit Specifications in Model Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Orna Bernholtz , Orna Grumberg Branching Time Temporal Logic and Amorphous Tree Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy Gunawardena A Generalized Event Structure for the Muller Unfolding of a Safe Net. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Goubault Domains of Higher-Dimensional Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Jos C. M. Baeten , Jan A. Bergstra Non Interleaving Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Segala Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Rob T. Udink , Joost N. Kok Two Fully Abstract Models for UNITY. [Citation Graph (0, 0)][DBLP ] Conf ] Shengzong Zhou , Rob Gerth , Ruurd Kuiper Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Marija Cubric , Prakash Panangaden Minimal Memory Schedules for Dataflow Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Kim Yates Networks of Real-Time Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Lengauer Loop Parallelization in the Polytope Model. [Citation Graph (0, 0)][DBLP ] Conf ] Patrice Brémond-Grégoire , Insup Lee , Richard Gerber ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. [Citation Graph (0, 0)][DBLP ] Conf ] Wan Fokkink An Elimination Theorem for Regular Behaviours with Integration. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Vergauwen , Johan Lewi A Linear Local Model Checking Algorithm for CTL. [Citation Graph (0, 0)][DBLP ] Conf ] P. W. Hoogers , H. C. M. Kleijn , P. S. Thiagarajan Local Event Structures and Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Jos C. M. Baeten , Chris Verhoef A Congruence Theorem for Structured Operational Semantics with Predicates. [Citation Graph (0, 0)][DBLP ] Conf ] Flemming Nielson , Hanne Riis Nielson From CML to Process Algebras (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Kohei Honda Types for Dynamic Interaction. [Citation Graph (0, 0)][DBLP ] Conf ] Vasco Thudichum Vasconcelos , Kohei Honda Principal Typing Schemes in a Polyadic pi-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Bard Bloom Structured Operational Sematics for Process Algebras and Equational Axiom Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 