Modal logic and process algebra : a bisimulation perspective

Saved in:

Bibliographic Details
Other Authors:	Ponse, A. (Alban) 1955- (Editor), Rijke, Maarten de (Editor), Venema, Yde 1963- (Editor)
Format:	Book
Language:	English
Published:	Stanford, California : CSLI pub., c1995
Series:	CSLI lecture notes ; ; 53
Subjects:	Formal languages > Congresses. Modality (Logic) > Congresses. Parallel processing (Electronic computers) > Congresses.
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000nam a2200000 i 4500
001	1/95311
008	991209s1995 eng d
020			\|a 1881526968
035			\|l 10055257
040			\|a GR-MY-UA \|b gre \|e aacr
041	0		\|a eng
082	0		\|a 160
245	1	0	\|a Modal logic and process algebra : \|b a bisimulation perspective / \|c edited by Alban Ponse, Maarten de Rijke, Yde Venema
260			\|a Stanford, California : \|b CSLI pub., \|c c1995
300			\|a xix, 327 p.; \|b ill.; \|c 24 cm.
490	1		\|a CLSI lecture notes \|v ; 53
500			\|a Papers presented at a workshop called Three days of Bisimulation, which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam
504			\|a Includes bibliographical references
650	0	0	\|a Formal languages \|x Congresses.
650	0	0	\|a Modality (Logic) \|x Congresses.
650	0	0	\|a Parallel processing (Electronic computers) \|x Congresses.
700	1		\|a Ponse, A. \|q (Alban) \|d 1955- \|4 edt
700	1		\|a Rijke, Maarten de. \|4 edt
700	1		\|a Venema, Yde \|d 1963- \|4 edt
830		0	\|a CSLI lecture notes ; \|v ; 53
852			\|a INST \|b SAMOS \|e 19991209 \|h 160 MOD \|p 005300016493 \|q 005300016493 \|t BK \|y 0
901			\|a BIBL3-1999-3
909			\|a Σ \|b 070900
922			\|a 3ΕΛΗ \|b 199912 \|c ΤΠΕΣ \|d ΠΑΠΑΣΩΤΗΡΙΟΥ
970			\|a ΓΕΝΟΥΖΟΥ \|b ΧΡΥΣΑΝΘΗ \|z 1999/12/08