Modal logic and process algebra : a bisimulation perspective / ed. Alban Ponse, Maarten de Rijke, Yde Venema
Secondary Author
Ponse, Alban
Rijke, Maarten de
Venema, Yde
Country
Estados Unidos.
Publication
Stanford : CSLI Publications, cop. 1995
Description
XIX, 327 p. ;
24 cm
Series
CSLI lecture notes , 53
ISBN
1-881526-95-X
CDU
510.643
There are no comments for this item.