Samson Abramsky, T. S. E. Maibaum
Proceedings of the Fourth International Joint Conference on Theory and Practice of Software Development, Volume 2: Advances in Distributed Computing
TAPSOFT, Vol.2: ADC, 1991.

@proceedings{ADC-1991,
	doi           = "10.1007/3-540-53981-6",
	editor        = "Samson Abramsky and T. S. E. Maibaum",
	isbn          = "3-540-53981-6",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fourth International Joint Conference on Theory and Practice of Software Development, Volume 2: Advances in Distributed Computing}",
	volume        = 494,
	year          = 1991,
}

Contents (6 items)

ADC-1991-BakkerV #object-oriented

CCS for OO and LP (JWdB, EPdV), pp. 1–28.

ADC-1991-FerrariGM #theorem

An Extended Expansion Theorem (GLF, RG, UM), pp. 29–48.

ADC-1991-Berry #automaton #concurrent

Concurrent Abstract Machines (Abstract) (GB), p. 49.

ADC-1991-Halpern #distributed #probability

Knowledge and Probability in Distributed Systems (Abstract) (JYH), pp. 50–54.

ADC-1991-BouajjaniS #finite #verification

Verification for Finite Systems (Extended Abstract) (AB, JS), pp. 55–57.

ADC-1991-Weber #interactive #operating system

Interactive Internetworking for Interoperating Systems (Abstract) (HW), pp. 58–59.