Conferences in DBLP
J. W. de Bakker , Erik P. de Vink CCS for OO and LP. [Citation Graph (0, 0)][DBLP ] Conf ] Gian Luigi Ferrari , Roberto Gorrieri , Ugo Montanari An Extended Expansion Theorem. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Berry Concurrent Abstract Machines (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Y. Halpern Knowledge and Probability in Distributed Systems (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Bouajjani , Joseph Sifakis Verification for Finite Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] H. Weber Interactive Internetworking for Interoperating Systems (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Ralf Jungclaus , Gunter Saake Formal Specification of Object Systems. [Citation Graph (3, 0)][DBLP ] Conf ] Michael Löwe , Hartmut Ehrig , Werner Fey , Dean Jacobs On the Relationship Between Algebraic Module Specifications and Program Modules. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Bernot Testing Against Formal Specifications: A Theoretical View. [Citation Graph (1, 0)][DBLP ] Conf ] Jacques Cazin , Patrice Cros , René Jacquart , Michel Lemoine , P. Michel Construction and Reuse of Formal Program Developments. [Citation Graph (0, 0)][DBLP ] Conf ] G. Ramalingam , Thomas W. Reps A Theory of Program Modifications. [Citation Graph (0, 0)][DBLP ] Conf ] Annalisa Bossi , Nicoletta Cocco , Massimo Fabris Proving Termination of Logic Programs by Exploiting Term Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus Parametric Order-Sorted Types in Logic Programming. [Citation Graph (1, 0)][DBLP ] Conf ] Roland Dietrich , Hendrik C. R. Lock Exploiting Non-Determinism through Laziness in Guarded Functional Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Tommaso Bolognesi , Diego Latella , Elisabetta Zuppa Non-standard Interpretations of LOTOS Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Wright A New Technique for Strictness Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Rachel Cardell-Oliver Using Higher Order Logic for Modelling Real-Time Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Albert John Camilleri , Paola Inverardi , Monica Nesi Combining Interaction and Automation in Process Algebra Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Ed Brinksma , Bengt Jonsson , Fredrik Orava Refining Interfaces of Communicating Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Krieg-Brückner , Donald Sannella Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL. [Citation Graph (0, 0)][DBLP ] Conf ] John-Jules Ch. Meyer , Roel Wieringa Actor-Oriented System Specification with Dynamic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Cramer , Werner Fey , Michael Goedicke , Martin Große-Rhode Towards a Formally Based Component Description Language. [Citation Graph (0, 0)][DBLP ] Conf ] Srecko Brlek , Pierre Castéran , Robert Strandh On Addition Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Steffen , Jens Knoop , Oliver Rüthing Efficient Code Motion and an Adaption to Strength Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] David de Frutos-Escrig , María-Inés Fernández-Camacho On Narrowing Strategies for Partial Non-Strict Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Rita Loogen From Reduction Machines To Narrowing Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Geoffrey L. Burn The Evaluation Transformer Model of Reduction and Its Correctness. [Citation Graph (0, 0)][DBLP ] Conf ] 