Algebraic Specification of Concurrency

[1]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[2]  José Meseguer,et al.  Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..

[3]  Gianna Reggio,et al.  Observational Structures and Their Logics , 1992, Theor. Comput. Sci..

[4]  Gianna Reggio,et al.  Abstract Dynamic Data Types: A Temporal Logic Approach , 1991, MFCS.

[5]  Gianna Reggio,et al.  Event Logic for Specifying Abstract Dynamic Data Types , 1991, COMPASS/ADT.

[6]  Mohamed Bettaz,et al.  How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets , 1991, COMPASS/ADT.

[7]  Sjouke Mauw,et al.  A Proof Assistant for PSF , 1991, CAV.

[8]  Wolfgang Reisig,et al.  Petri Nets and Algebraic Specifications , 1991, Theor. Comput. Sci..

[9]  Martin Wirsing,et al.  Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[10]  José Meseguer,et al.  A logical theory of concurrent objects , 1990, OOPSLA/ECOOP '90.

[11]  J. Meseguer Rewriting as a unified model of concurrency , 1990, OOPSLA/ECOOP '90.

[12]  Gian Luigi Ferrari,et al.  Transition Systems with Algebraic Structure as Models of Computations , 1990, Semantics of Systems of Concurrent Processes.

[13]  Christian Dimitrovici,et al.  Composition of Algebraic High-Level Nets , 1990, ADT.

[14]  Mohamed Bettaz,et al.  An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols , 1990, ADT.

[15]  S. Kaplan,et al.  Algebraic Specification of Concurrent Systems , 1989, Theor. Comput. Sci..

[16]  Hartmut Ehrig,et al.  Transformation of Combined Data Type and Process Specifications Using Projection Algebras , 1989, REX Workshop.

[17]  Sjouke Mauw,et al.  An Introduction to PSFd , 1989, TAPSOFT, Vol.2.

[18]  Bent Thomsen,et al.  A calculus of higher order communicating systems , 1989, POPL '89.

[19]  Hartmut Ehrig,et al.  Algebraic Data Type and Process Specifications based on Projection Spaces , 1988, ADT.

[20]  Glynn Winskel,et al.  An introduction to event structures , 1988, REX Workshop.

[21]  P. S. Thiagarajan,et al.  A Modal Logic for a Subclass of Event Structures , 1987, ICALP.

[22]  Giancarlo Mauri,et al.  OBJSA Nets: a Class of High- level Nets Having Objects as Domains , 1987, European Workshop on Applications and Theory of Petri Nets.

[23]  Manfred Broy,et al.  Predicative Specifications for Functional Programs Describing Communication Networks , 1987, Inf. Process. Lett..

[24]  Amir Pnueli,et al.  Specification and Implementation of Concurrently Accessed Data Structures: An Abstract Data Type Approach , 1987, STACS.

[25]  Gianna Reggio,et al.  An Qutline of the SMoLCS Approach , 1986, Mathematical Models for the Semantics of Parallelism.

[26]  Amir Pnueli,et al.  Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.

[27]  Gianna Reggio,et al.  Relational Specifications and Observational Semantics , 1986, MFCS.

[28]  B. Tim Denvir,et al.  The Analysis of Concurrent Systems , 1986, Lecture Notes in Computer Science.

[29]  Gianna Reggio,et al.  On the Parameterized Algebraic Specification of Concurrent Systems , 1985, TAPSOFT, Vol.1.

[30]  Manfred Broy,et al.  Specification and Top Down Design of Distributed Systems , 1985, TAPSOFT, Vol.1.

[31]  Wolfgang Reisig,et al.  Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.

[32]  Giuseppe Scollo,et al.  Some Topics in the Design of the Specification Language Lotos , 1984, Symposium on Programming.

[33]  Joseph A. Goguen,et al.  Introducing Institutions , 1983, Logic of Programs.

[34]  G. Winskel Event Structure Semantics for CCS and Related Languages , 1982, ICALP.

[35]  J. W. de Bakker,et al.  Processes and the Denotational Semantics of Concurrency , 1982, Inf. Control..

[36]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

[37]  Maurice Nivat,et al.  Metric Interpretations of Infinite Trees and Semantics of non Deterministic Recursive Programs , 1980, Theor. Comput. Sci..

[38]  Luca Bernardinello,et al.  A survey of basic net models and modular net classes , 1992, Advances in Petri Nets: The DEMON Project.

[39]  C. J. Koomen Calculus of Communicating Systems , 1991 .

[40]  J. Baeten,et al.  Process algebra , 1990, Cambridge tracts in theoretical computer science.

[41]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[42]  Michel Bidoit Pluss, un langage pour le développement de spécifications algébriques modulaires , 1989 .

[43]  Martin Wirsing,et al.  Bisimulation in Algebraic Specifications , 1989 .

[44]  Bernd J. Krämer,et al.  Concepts, syntax and semantics of SEGRAS: a specification language for distributed systems , 1989 .

[45]  Matthew Hennessy,et al.  Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.

[46]  Gianna Reggio,et al.  SMoLCS-Driven Concurrent Calculi , 1987, TAPSOFT, Vol.1.

[47]  Paul Klint,et al.  ASF: an algebraic specification formalism , 1987 .

[48]  Gianna Reggio,et al.  An outline of the SMoLCS approach , 1987 .

[49]  Robert de Simone,et al.  Higher-Level Synchronising Devices in Meije-SCCS , 1985, Theor. Comput. Sci..

[50]  Gérard Boudol,et al.  Algèbre de Processus et Synchronisation , 1984, Theor. Comput. Sci..

[51]  Jan A. Bergstra,et al.  Process Algebra for Synchronous Communication , 1984, Inf. Control..

[52]  Hartmut Ehrig,et al.  ACT ONE - An Algebraic Specification Language with two Levels of Semantics , 1983, ADT.

[53]  Gordon Plotkin,et al.  An Operational Semantics for CSP. , 1982 .

[54]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[55]  Morton P. Friedman,et al.  Human Information Processing , 1977 .

[56]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.