Sign in
Concurrency
1988
1988
1988
Keyphrases
Publications
1988
Amir Pnueli
,
Roni Rosner
A Framework for the Synthesis of Reactive Modules.
Concurrency
(1988)
Nicolien J. Drost
,
Jan van Leeuwen
Assertional Verification of a Majority Consensus Algorithm for Concurrency Control in Multiple Copy Databases.
Concurrency
(1988)
Karl Meinke
,
John V. Tucker
The Scope and Limits of Synchronous Concurrent Computation.
Concurrency
(1988)
Stefania Gnesi
,
Paola Inverardi
,
Monica Nesi
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences.
Concurrency
(1988)
Danny Dolev
,
H. Raymond Strong
On Safety and Timeliness in Distributed Data Management.
Concurrency
(1988)
A. Bourguet-Rouger
External Behaviour Equivalence between two Petri Nets.
Concurrency
(1988)
Wolfgang Reisig
Temporal Logic and Causality in Concurrent Systems.
Concurrency
(1988)
Manfred Broy
Requirement and Design Specification for Distributed Systems.
Concurrency
(1988)
Udo Thalmann
Analysis of ESTELLE Specifications.
Concurrency
(1988)
Younes Souissi
,
Nicolas Beldiceanu
Deterministic Systems of Sequential Processes: Theory and Tools.
Concurrency
(1988)
Egidio Astesiano
,
Alessandro Giovini
,
Gianna Reggio
Data in a Concurrent Environment.
Concurrency
(1988)
P. M. Melliar-Smith
A Graphical Representation of Interval Logic.
Concurrency
(1988)
Howard Barringer
,
Dov M. Gabbay
Executing Temporal Logic: Review and Prospects (Abstract).
Concurrency
(1988)
Richard L. Schwartz
Data Base Distribution and Concurrency for End-Users (Abstract).
Concurrency
(1988)
Maciej Koutny
Adequacy-Preserving Transformations of COSY Path Programs.
Concurrency
(1988)
Asis Goswami
,
Mathai Joseph
Semancitcs of Real-time Distributed Programs.
Concurrency
(1988)
Gerard Tel
Total Algorithms.
Concurrency
(1988)
Da-Hai Li
,
T. S. E. Maibaum
A Top-down Step-wise Refinement Methodology for Protocol Specification.
Concurrency
(1988)
Eike Best
Weighted Basic Petri Nets.
Concurrency
(1988)
Ephraim Korach
,
Gerard Tel
,
Shmuel Zaks
Optimal Synchronization of ABD Networks.
Concurrency
(1988)
Fiorella de Cindio
,
Giorgio De Michelis
,
Lucia Pomello
,
Carla Simone
A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence.
Concurrency
(1988)
Moshe Y. Vardi
An Automata-Theoretic Approach to Protocol Verification (Abstract).
Concurrency
(1988)
Burkhard Igel
,
Georg Reichwein
An Example of Communicating Production Systems.
Concurrency
(1988)
Leslie Lamport
While Waiting for the Millennium: Formal Specification and Verficiation of Concurrent Systems Now (Abstract).
Concurrency
(1988)
Joseph Y. Halpern
,
Ronald Fagin
Modelling Knowledge and Action in Distributed Systems.
Concurrency
(1988)
Doron Drusinsky
,
David Harel
On the Power of Cooperative Concurrency.
Concurrency
(1988)
volume 335, 1988
Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings
Concurrency
335 (1988)