Modal logic and process algebra : a bisimulation perspective /

Bibliographic Details
Other Authors:	Ponse, A. (Alban), 1955-, Rijke, Maarten de, Venema, Yde, 1963-
Format:	Book
Language:	English
Published:	Stanford, Calif. : CSLI Publications, [1995]
Series:	CSLI lecture notes ; no. 53.
Subjects:	Formal languages > Congresses. Modality (Logic) > Congresses. Parallel processing (Electronic computers) > Congresses.

Remote Storage