Conferences in DBLP
John V. Guttag Goldilocks and the Three Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Pierpaolo Degano , Roberto Gorrieri , Sebastiano Vigna On Relating Some Models for Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig , Rosa M. Jiménez , Fernando Orejas Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Becker Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Leo Bachmair , Ta Chen , I. V. Ramakrishnan Associative-Commutative Discrimination Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Bertrand , Jean-François Dufourd , Jean Françon , Pascal Lienhardt Algebraic Specification and Development in Geometric Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Ernst-Rüdiger Olderog , Stephan Rössig A Case Study in Transformational Design of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Paola Inverardi , Balachander Krishnamurthy , Daniel Yankelevich Yeast: A Case Study for a Practical Use of Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] André Arnold Verification and Comparison of Transition Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Cliff B. Jones Constraining Inference in an Object-Based Design Model. [Citation Graph (0, 0)][DBLP ] Conf ] Davide Sangiorgi From pi-Calculus to Higher-Order pi-Calculus - and Back. [Citation Graph (0, 0)][DBLP ] Conf ] Gnanamalar David , Frank Drewes , Hans-Jörg Kreowski Hyperedge Replacement with Rendevous. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marc Andreoli , Lone Leth , Remo Pareschi , Bent Thomsen True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Bidoit , Rolf Hennicker A General Framework for Modular Implementations of Modular System Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Mark T. Vandevoorde Specifications Can Make Programs Run Faster. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Collette Application of the Composition Principle to Unity-like Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Nachum Dershowitz Trees, Ordinals and Termination. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Seidl When Is a Functional Tree Transduction Deterministic? [Citation Graph (0, 0)][DBLP ] Conf ] Danièle Beauquier , Damian Niwinski Automata on Infinite Trees with Counting Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Elena Barcucci , Renzo Pinzani , Renzo Sprugnoli Directed Column-Convex Polyominoes by Recurrence Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Han , Jim Welsh Object Organisation in Software Environments for Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Françoise Bellegarde , James Hook Monads, Indexes and Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Pena , Luis M. Alonso A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Mahr Applications of Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Niehren , Andreas Podelski Feature Automata and Recognizable Sets of Feature Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Boudet , Hubert Comon About the Theory of Tree Embedding. [Citation Graph (0, 0)][DBLP ] Conf ] Zhenyu Qian Linear Unification of Higher-Order Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Li A Theory of Requirements Capture and Its Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Bernot , Pascale Le Gall Exception Handling and Term Labelling. [Citation Graph (0, 0)][DBLP ] Conf ] Fosca Giannotti , Diego Latella Gate Splitting in LOTOS Specifications Using Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Dieter Ehrich , Grit Denker , Amílcar Sernadas Constructing Systems as Object Communities. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Corradini Term Rewriting in CT-Sigma. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Asperti , Cosimo Laneve Optimal Reductions in Interaction Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Laurence Puel , Ascánder Suárez Optimal Solutions to Pattern Matching Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Ming Yu Yao , Gregor von Bochmann Testing for a Conformance Relation Based on Acceptance. [Citation Graph (0, 0)][DBLP ] Conf ] Khalil Drira , Pierre Azéma , B. Soulas , A. M. Chemali Testability of a Communicating System Through an Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Carron Kirkwood Automating (Specififation = Implementation) Using Equational Reasoning and LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Thomas On the Ehrenfeucht-Fraïssé Game in Theoretical Computer Science. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy Tyszkiewicz On Asymptotic Probabilities in Logics That Capture DSPACE(log n) in Presence of Ordering. [Citation Graph (0, 0)][DBLP ] Conf ] Mohsin Ahmed , G. Venkatesh A Propositional Dense Time Logic (Based on Nested Sequences). [Citation Graph (0, 0)][DBLP ] Conf ] J. Bétréma , A. K. Zvonkin La Vraie Forme d'un Arbre. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Esparza Model Checking Using Net Unfoldings. [Citation Graph (0, 0)][DBLP ] Conf ] Claire Diehl , Claude Jard , Jean-Xavier Rampon Reachability Analysis on Distributed Executions. [Citation Graph (0, 0)][DBLP ] Conf ] Susanne Graf , Claire Loiseaux Property Preserving Abstractions under Parallel Composition. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Longo Types as Parameters. [Citation Graph (0, 0)][DBLP ] Conf ] Geoffrey Smith Polymorphic Type Inference with Overloading and Subtyping. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy Tiuryn , Mitchell Wand Type Reconstruction with Recursive Types and Atomic Subtyping. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Trier (Un)expected Path Lengths of Asymmetric Binary Search Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Guy Louchard Trie Size in a Dynamic List Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Diego Latella , Paola Quaglia A Fully Parallel Calculus of Synchronizing Processes. [Citation Graph (0, 0)][DBLP ] Conf ] E. Pascal Gribomont , Vincent Van Dongen Generic Systolic Arrays: A Methodology for Systolic Design. [Citation Graph (0, 0)][DBLP ] Conf ] 