Modal logic and process algebra :

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!

Similar Items

Similar Items