UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 6194
DCS Tech Report Number: TR-2001-77

A Symbolic Semantics and Bisimulation for Full LOTOS
Calder,M. Shankland,C.

Publication Type: Tech Report (internal)
Appeared in: DCS Tech Report
Page Numbers :
Publisher: Dept of Computing Science, University of Glasgow
Year: 2000
Abstract:

No abstract available.


Bibtex entry Endnote XML