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.