Modelling Distributed Systems

@inproceedings{Fokkink2007ModellingDS,
  title={Modelling Distributed Systems},
  author={Wan Fokkink},
  booktitle={Texts in Theoretical Computer Science. An EATCS Series},
  year={2007}
}
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

Citations

Publications citing this paper.

References

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…