Process Algebra with Asynchronous Communication Mechanisms
暂无分享,去创建一个
[1] Jan L. A. van de Snepscheut,et al. Trace Theory and VLSJ Design , 1985, Lecture Notes in Computer Science.
[2] C. A. R. Hoare,et al. A Theory of Communicating Sequential Processes , 1984, JACM.
[3] Robert de Simone,et al. On Meije and SCCS: Infinite Sum Operators VS. Non-Guarded Definitions , 1984, Theor. Comput. Sci..
[4] Gérard Boudol,et al. Algèbre de Processus et Synchronisation , 1984, Theor. Comput. Sci..
[5] George J. Milne,et al. Circal: A calculus for circuit description , 1983, Integr..
[6] Willem P. de Roever,et al. Real-time programming and asynchronous message passing , 1983, PODC '83.
[7] Stephen D. Brookes,et al. On the Relationship of CCS and CSP , 1983, ICALP.
[8] Glynn Winskel,et al. Synchronisation Trees , 1983, ICALP.
[9] Stephen D. Brookes,et al. Behavioural Equivalence Relations Induced by Programming Logics , 1983, ICALP.
[10] Jan A. Bergstra,et al. Algebraic Tools for System Construction , 1983, Logic of Programs.
[11] Robin Milner,et al. Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..
[12] Jan A. Bergstra,et al. Process algebra for communication and mutual exclusion , 1983 .
[13] M Martin Rem,et al. Partially ordered computations, with applications to VLSI-design , 1983, FOCS 1983.
[14] Jan Willem Klop,et al. A process algebra for the operational semantics of static data flow networks , 1983 .
[15] Glynn Winskel,et al. Event Structure Semantics for CCS and Related Languages , 1982, ICALP.
[16] J. W. de Bakker,et al. Processes and the Denotational Semantics of Concurrency , 1982, Inf. Control..
[17] J. W. de Bakker,et al. Denotational semantics of concurrency , 1982, STOC '82.
[18] Georges Louis,et al. An Analytical Description of CHILL, the CCITT High Level Language , 1982, Lecture Notes in Computer Science.
[19] Willem P. de Roever,et al. Fairness Assumptions for CSP in a Temporal Logic Framework , 1982, Formal Description of Programming Concepts.
[20] Matthew Hennessy,et al. A Term Model for Synchronous Processes , 1981, Inf. Control..
[21] William B. Ackerman,et al. Scenarios: A Model of Non-Determinate Computation , 1981, ICFPC.
[22] Leslie Lamport,et al. "Sometime" is sometimes "not never": on the temporal logic of programs , 1980, POPL '80.
[23] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[24] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[25] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[26] Joseph A. Goguen,et al. Initial Algebra Semantics and Continuous Algebras , 1977, J. ACM.
[27] Gilles Kahn,et al. The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.