Liveness and Reachability for Elementary Object Systems

Köhler-Bußmeier, Michael; Heitmann, Frank

DC Element	Wert	Sprache
dc.contributor.author	Köhler-Bußmeier, Michael	-
dc.contributor.author	Heitmann, Frank	-
dc.date.accessioned	2020-08-26T12:06:58Z	-
dc.date.available	2020-08-26T12:06:58Z	-
dc.date.issued	2011	-
dc.identifier.uri	http://hdl.handle.net/20.500.12738/2307	-
dc.language.iso	en	en_US
dc.publisher	Politechnika Białostocka	en_US
dc.subject.ddc	004: Informatik	en_US
dc.title	Liveness and Reachability for Elementary Object Systems	en
dc.type	inProceedings	en_US
dc.description.version	Unknown	en_US
local.contributorPerson.editor	Szczuka, Marcin	-
local.contributorPerson.editor	Czaja, Ludwik	-
local.contributorPerson.editor	Skowron, Andrzej	-
local.contributorPerson.editor	Kacprzak, Magdalena	-
tuhh.oai.show	true	en_US
tuhh.publication.institute	Universität Hamburg	en_US
tuhh.relation.ispartofseries	Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2011)	en_US
tuhh.type.opus	InProceedings (Aufsatz / Paper einer Konferenz etc.)	-
dc.type.casrai	Conference Paper	-
dc.type.dini	contributionToPeriodical	-
dc.type.driver	contributionToPeriodical	-
dc.type.status	info:eu-repo/semantics/publishedVersion	en_US
dcterms.DCMIType	Text	-
item.grantfulltext	none	-
item.creatorGND	Köhler-Bußmeier, Michael	-
item.creatorGND	Heitmann, Frank	-
item.cerifentitytype	Publications	-
item.tuhhseriesid	Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2011)	-
item.creatorOrcid	Köhler-Bußmeier, Michael	-
item.creatorOrcid	Heitmann, Frank	-
item.languageiso639-1	en	-
item.openairecristype	http://purl.org/coar/resource_type/c_5794	-
item.fulltext	No Fulltext	-
item.openairetype	inProceedings	-
item.seriesref	Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2011)	-
crisitem.author.dept	Department Informatik	-
crisitem.author.orcid	0000-0002-3074-4145	-
crisitem.author.parentorg	Fakultät Technik und Informatik	-
Enthalten in den Sammlungen:	Publications without full text