Original languageEnglish
Title of host publicationSOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE
Subtitle of host publicationTheory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings
EditorsB Steffen, C Baier, M VanDenBrand, J Eder, M Hinchey, T Margaria
PublisherSpringer-Verlag GmbH and Co. KG
Pages132-146
Number of pages15
ISBN (Print)9783319519623
DOIs
Publication statusPublished - 1 Jan 2017
Event43rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017 - Limerick, Ireland
Duration: 16 Jan 201720 Jan 2017

Publication series

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

Conference

Conference43rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017
Country/TerritoryIreland
CityLimerick
Period16.01.201720.01.2017

    Research areas

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

ID: 10314121