Conference
Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains
Abstract
A representation of interval orders by sequences of antichains is discussed and its relationship to the Fishburn’s representation by sequences of beginnings and endings is analyzed in detail. Using sequences of antichains to model operational semantics of elementary inhibitor nets is also discussed.
Authors
Janicki R
Series
Lecture Notes in Computer Science
Volume
10877
Pagination
pp. 251-271
Publisher
Springer Nature
Publication Date
2018
DOI
10.1007/978-3-319-91268-4_13
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743