Conferences in DBLP
Luca Aceto Full Abstraction for Series-Parallel Pomsets. [Citation Graph (0, 0)][DBLP ] Conf ] Gian Luigi Ferrari On Causality Observed Incrementally, Finally. [Citation Graph (0, 0)][DBLP ] Conf ] Marta Z. Kwiatkowska On the Domain of Traces and Sequential Composition. [Citation Graph (0, 0)][DBLP ] Conf ] Emmanuel Kounalis , Denis Lugiez Compilation of Pattern Matching with Associative-Commutative Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Anne-Cécile Caron Linear Bounded Automata and Rewrite Systems: Influence of Initial Configurations on Decision Properties. [Citation Graph (0, 0)][DBLP ] Conf ] P. M. van den Broek Algebraic Graph Rewriting Using a Single Pushout. [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Baumeister Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution. [Citation Graph (0, 0)][DBLP ] Conf ] Egidio Astesiano , Maura Cerioli Non-Strict Don't Care Algebras and Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Zhaohui Luo Program Specification and Data Refinement in Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Granger Static Analysis of Linear Congruence Equalities among Variables of a Program. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrizio Luccio , Linda Pagli Simple Solutions for Approximate Tree Matching Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Pekka Kilpeläinen , Heikki Mannila The Tree Inclusion Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Stefano Kasangian , Sebastiano Vigna Introducing a Calculus of Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto M. Amadio Domains in a Realizability Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen L. Bloom , Zoltán Ésik Iteration Algebras (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Corradini , Francesca Rossi , Francesco Parisi-Presicce Logic Programming as Hypergraph Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Frank S. de Boer , Catuscia Palamidessi A Fully Abstract Model for Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Gabbrielli , Giorgio Levi A Solved Form Algorithm for Ask and Tell Herbrand Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] K. V. S. Prasad A Calculus of Broadcasting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Elie Najm , Jean-Bernard Stefani Object-Based Concurrency: A Process Calculus Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Bengt Jonsson , Kim Guldstrand Larsen On the Complexity of Equation Solving in Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Franck van Breugel Comparative Semantics for a Real-Time Programming Language with Integration. [Citation Graph (0, 0)][DBLP ] Conf ] Yolanda Ortega-Mallén , David de Frutos-Escrig A Complete Proof System for Timed Observations. [Citation Graph (0, 0)][DBLP ] Conf ] Michael I. Schwartzbach Type Inference with Inequalities. [Citation Graph (0, 0)][DBLP ] Conf ] 