Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling

LOTOS is a specification language that has been specifically developed for the formal description of the OSI (Open Systems Interconnection) architecture, although it is applicable to distributed, concurrent systems in general. In LOTOS a system is seen as a set of processes which interact and exchange data with each other and with their environment. LOTOS is expected to become an ISO international standard by 1988.

[1]  Robin Milner,et al.  A Complete Inference System for a Class of Regular Behaviours , 1984, J. Comput. Syst. Sci..

[2]  Robin Milner,et al.  Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

[3]  George J. Milne,et al.  CIRCAL and the representation of communication, concurrency, and time , 1985, TOPL.

[4]  G. Boudol,et al.  Notes on Algebraic Calculi of Processes , 1989, Logics and Models of Concurrent Systems.

[5]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

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

[7]  Rocco De Nicola,et al.  Testing Equivalences for Processes , 1984, Theor. Comput. Sci..

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

[9]  K. Larsen.  Context-dependent bisimulation between processes , 1986 .

[10]  C. A. R. Hoare,et al.  A Theory of Communicating Sequential Processes , 1984, JACM.

[11]  Giuseppe Pappalardo,et al.  A LOTOS Specification of the PROWAY Highway Service , 1986, IEEE Transactions on Computers.

[12]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

[13]  Scott A. Smolka,et al.  Fundamental Results for the Verification of Observational Equivalence: A Survey , 1987, PSTV.

[14]  Ed Brinksma,et al.  A tutorial on LOTOS , 1985, PSTV.

[15]  Frank P. Biemans,et al.  On the formal specification and verification of CIM architectures using LOTOS , 1986 .

[16]  Peter Van Eijk.  Software Tools for the Specification Language LOTOS , 1988 .

[17]  Iso. Lotos,et al.  A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .

[18]  Elie Najm.  A Verification Oriented Specification in LOTOS of the Transport Protocol , 1987, PSTV.

[19]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[20]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

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

[22]  Robin Milner,et al.  Algebraic laws for nondeterminism and concurrency , 1985, JACM.

[23]  John V. Guttag,et al.  Abstract data types and the development of data structures , 1976, Software Pioneers.