Configuration- and residual-based transition systems for event structures with asymmetric conflict › Research Explorer

Novosibirsk State University's Research Portal

Configuration- and residual-based transition systems for event structures with asymmetric conflict

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Computer Systems Section

DOI

https://doi.org/10.1007/978-3-319-51963-0_11
Final published version

Eike Best
Nataliya Gribovskaya
Irina Virbitskaite

Original language	English
Title of host publication	SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE
Subtitle of host publication	Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings
Editors	B Steffen, C Baier, M VanDenBrand, J Eder, M Hinchey, T Margaria
Publisher	Springer-Verlag GmbH and Co. KG
Pages	132-146
Number of pages	15
ISBN (Print)	9783319519623
DOIs	https://doi.org/10.1007/978-3-319-51963-0_11
Publication status	Published - 1 Jan 2017
Event	43rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017 - Limerick, Ireland Duration: 16 Jan 2017 → 20 Jan 2017

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10139 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	43rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017
Country/Territory	Ireland
City	Limerick
Period	16.01.2017 → 20.01.2017

Research areas

Bisimilarity, Event structures with asymmetric conflict, Interleaving/Multiset/Pomset semantics, Labelled transition systems, PETRI NETS, CONCURRENCY

ID: 10314121