search result

Cover von Kausale Semantik nichtsequentieller Programme
Author: Best, Eike Search for this author
Year: 1989
Publisher: München, Oldenbourg
Series: GMD-Bericht; 174
Media group: DISSERTATION
Cover von Semantics of sequential and parallel programs
Author: Best, Eike Search for this author
Year: 1996
Publisher: London, Prentice Hall
Series: Prentice Hall International series in computer science
Media group: MONOGRAPHIE
Cover von Semantik
Theorie sequentieller und paralleler Programmierung
Author: Best, Eike Search for this author
Year: 1995
Publisher: Wiesbaden, Vieweg
Series: Lehrbuch Informatik
Media group: MONOGRAPHIE
Cover von Selected papers of the 3rd workshop on concurrency and compositionality, Goslar, Germany, March 1991
Search for this author
Year: 1993
Publisher: Amsterdam, Elsevier
Series: Theoretical computer science : 114. 1993, 1
Media group: SPECIAL ISSUE
Cover von CONCUR 93
4th international conference on concurrency theory : Hildesheim, Germany, August 23 - 26, 1993 : proceedings
Search for this author
Year: 1993
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 715
Media group: MONOGRAPHIE
Cover von Kausale Semantik nichtsequentieller Programme
Author: Best, Eike Search for this author
Year: 1988
Publisher: Universität
Media group: DISSERTATION
Cover von Nonsequential processes
a petri net view
Author: Best, Eike; Fernandez C., Cesar Search for this author
Year: 1988
Publisher: Berlin, Springer
Series: EATCS Monographs on theoretical computer science; 13
Media group: MONOGRAPHIE
Cover von Synthesis of Bounded Choice-Free Petri Nets

Synthesis of Bounded Choice-Free Petri Nets

Year: 2015
Media group: LIPIcs
Cover von Synthesis of Live and Bounded Persistent Systems
article : pp. 39-59
Author: Best, Eike; Devillers, Raymond Search for this author
Year: 2015
Publisher: Amsterdam, IOS Press
Series: Fundamenta informaticae; 140. 2015, 1
Media group: ARTICLE
Cover von Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets
book chapter
Search for this author
Year: 2014
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 8370 : pp. 161-172
Media group: ARTICLE
OPEN V 11.1.0.0