Bisimulations for concurrency

Bibliographic Details
Main Author:	Castellani, Ilaria
Published:	University of Edinburgh 1987
Subjects:	621.3822 Semantics computer modelling
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.381662

id	ndltd-bl.uk-oai-ethos.bl.uk-381662
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-3816622016-08-04T03:32:24ZBisimulations for concurrencyCastellani, Ilaria1987621.3822Semantics computer modellingUniversity of Edinburghhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.381662http://hdl.handle.net/1842/13338Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	621.3822 Semantics computer modelling
spellingShingle	621.3822 Semantics computer modelling Castellani, Ilaria Bisimulations for concurrency
author	Castellani, Ilaria
author_facet	Castellani, Ilaria
author_sort	Castellani, Ilaria
title	Bisimulations for concurrency
title_short	Bisimulations for concurrency
title_full	Bisimulations for concurrency
title_fullStr	Bisimulations for concurrency
title_full_unstemmed	Bisimulations for concurrency
title_sort	bisimulations for concurrency
publisher	University of Edinburgh
publishDate	1987
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.381662
work_keys_str_mv	AT castellaniilaria bisimulationsforconcurrency
_version_	1718369998950367232

Similar Items