Number of the records: 1

Bisimulation semantics for concurrency with atomicity and action refinement

Title	Bisimulation semantics for concurrency with atomicity and action refinement
Author	Bakker J.W. de
Co-authors	Vink de E.P.
Issue data	Amsterdam : CWI , 1992. - 31 s.
Language	eng - English
Country	CS - Czechoslovakia
UDC	519.876.5 * 801.541.2
Catal.org.	SAVINFO
Copy count	1, currently available 0, at library only 1
Document kind	správy výskumné

book

Call number	Location	Sublocation	Info
S TR 635/92	Ústav informatiky SAV	KNIZNICA	In-Library Use Only

Number of the records: 1