Modelling Distributed Systems

  title={Modelling Distributed Systems},
  author={Wan Fokkink},
  booktitle={Texts in Theoretical Computer Science. An EATCS Series},
Data Types In this chapter we give an introduction to the algebraic specification of abstract data types by means of a set of equations. See [10, 80] for lucid overviews of this field. 2.1 Algebraic specification We start with an example. Example 2.1 As a standard example we specify the natural numbers with addition and multiplication. The signature consists of the function 0 of arity zero, the unary successor function S, and the binary functions addition plus and multiplication mul. The… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 106 references

Invariants in Process Algebra with Data

View 19 Excerpts
Highly Influenced

Action versus State based Logics for Transition Systems

Semantics of Systems of Concurrent Processes • 1990
View 11 Excerpts
Highly Influenced

Three Partition Refinement Algorithms

SIAM J. Comput. • 1987
View 4 Excerpts
Highly Influenced

Bit-oriented data link control

D. E. Carlson
P.E. Green Jr, ed., Computer Network Architectures and Protocols, pp. 111–143. Plenum Press, • 1982
View 20 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…