Conferences in DBLP
Anne Kaldewaij , Victor J. Dielissen Decomposable Functions and Leaf Trees: A Systematic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Südholt Data Distribution Algebras - A Formal Basis for Programming Using Skeletons. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Möller Ideal Streams. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Simons , Maya Biersack , Robert Raschke Literate and Structured Presentation of Formal Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] James M. Boyle Automatic, Self-adaptive Control and Unfold Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph-Johan Back , Kaisa Sere Action Systems with Synchronous Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Rob T. Udink , Ted Herman , Joost N. Kok Progress for Local Variables in UNITY. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Verhoef A General Conservative Extension Theorem in Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Nadia Busi , Rob J. van Glabbeek , Roberto Gorrieri Axiomatising ST-Bisimulation Equivalence. [Citation Graph (0, 0)][DBLP ] Conf ] Muriel Jourdan , Florence Maraninchi Studying Synchronous Communication Mechanisms by Abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Davide Sangiorgi Bisimulation in Higher-Order Process Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Arend Rensink Methodological Aspects of Action Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Heike Wehrheim Parametric Action Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew C. Uselton , Scott A. Smolka A Process Algebraic Semantics for Statecharts via State Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Frank S. de Boer Compositionality in the Inductive Assertion Method for Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ben C. Moszkowski Some Very Compositional Temporal Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Martín Abadi , Leslie Lamport Decomposing Specifications of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Damm , J. Helbig Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Henk Doornbos A Relational Model of Programs Without the Restriction to Egli-Milner-Monotone Constructs. [Citation Graph (0, 0)][DBLP ] Conf ] Burghard von Karger Plotkin, Hoare and Smyth Order: On Observational Models for CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Nicoletta De Francesco , Ugo Montanari , Gioia Ristori Modelling Concurrent Accesses to Shared Data via Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Corradini , Hartmut Ehrig , Michael Löwe , Ugo Montanari , Francesca Rossi An Event Structure Semantics for Safe Graph Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] K. Rustan M. Leino , Jan L. A. van de Snepscheut Semantics of Exceptions. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Naumann Predicate Transformer Semantics of an Oberon-Like Language. [Citation Graph (0, 0)][DBLP ] Conf ] Egon Börger , Igor Durdanovic , Dean Rosenzweig Occam: Specification and Compiler Correctness - Part I: The Primary Model. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Steffen , Benjamin C. Pierce Higher-Order Subtyping. [Citation Graph (0, 0)][DBLP ] Conf ] Yellamraju V. Srinivas Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting. [Citation Graph (0, 0)][DBLP ] Conf ] Heinz W. Schmidt , Wolf Zimmermann Reasoning about Complexity of Object-Oriented Programs. [Citation Graph (0, 0)][DBLP ] Conf ] 