ICDT '88: 2nd International Conference on Database Theory, ...
Marc Gyssens
An expanded version is available as Technical Report MIT/LCS/TR-387, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA., April 1987. [Milner] Milner, R., "A Calculus of Communicating Systems," ...