Invariant Structures and Dependence Relations Journal Articles

authors

• Janicki, Ryszard
• Kleijn, Jetty
• Koutny, Maciej
• Mikulski, Łukasz

status

• published 

publication date

• September 12, 2017

has subject area

• 0801 Artificial Intelligence and Image Processing (FoR)
• 0802 Computation Theory and Mathematics (FoR)
• Computation Theory & Mathematics (Science Metrix)

published in

• Fundamenta Informaticae  Journal

keywords

• Computer Science
• Computer Science, Software Engineering
• Mathematics
• Mathematics, Applied
• Physical Sciences
• Science & Technology
• Technology
• dependence graph
• interleaving
• invariant structure
• mutual exclusion
• partial order
• sequentialisability
• serialisability
• simultaneity
• step alphabet
• step trace
• synthesis

Digital Object Identifier (DOI)

• 10.3233/fi-2017-1574

start page

• 1

end page

• 29

volume

• 155

issue

• 1-2