Combining Data Type and Recursive Process Specifications Using Projection Algebras

Abstract In order to provide an algebraic semantics for recursively defined (nonterminating) processes there is a well-known metric approach leading from process algebras to complete process algebras. In order to obtain an algebraic specification and completion of such algebras, it is sufficient and much more convenient to consider, instead of metric spaces, only spaces with a suitable family of projections, called projection spaces. Projection spaces and algebras are shown to be a suitable basis for an algebraic semantics of combined data type and process specifications.

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

[2]  M. Bleicher,et al.  Completions of partially ordered sets and universal algebras , 1966 .

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

[4]  Evangelos Kranakis,et al.  Fixed Point Equations with Parameters in the Projective Model , 1987, Inf. Comput..

[5]  Hartmut Ehrig,et al.  Algebraic Specification of Modules and Their Basic Interconnections , 1987, J. Comput. Syst. Sci..

[6]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[7]  Maurice Nivat,et al.  The metric space of infinite trees. Algebraic and topological properties , 1980, Fundam. Informaticae.

[8]  Jan A. Bergstra,et al.  The Algebra of Recursively Defined Processes and the Algebra of Regular Processes , 1984, ICALP.

[9]  Walter Dosch,et al.  On the Algebraic Specification of Domains , 1984, ADT.

[10]  Hartmut Ehrig,et al.  Algebraic Theory of Module Specification with Constraints , 1996, MFCS.

[11]  Hartmut Ehrig.  Towards an Algebraic Semantics of the ISO Specification Language LOTOS , 1986, ADT.

[12]  Evangelos Kranakis,et al.  Approximating the projective model , 1987 .

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

[14]  Joseph A. Goguen,et al.  Initial Algebra Semantics and Continuous Algebras , 1977, J. ACM.

[15]  J. W. de Bakker,et al.  Denotational semantics of concurrency , 1982, STOC '82.

[16]  James W. Thatcher,et al.  A Uniform Approach to Inductive Posets and Inductive Closure , 1977, MFCS.