search result

Cover von Modelling distributed systems
Author: Fokkink, Wan J. Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Introduction to process algebra
Author: Fokkink, Wan J. Search for this author
Year: 2000
Publisher: Heidelberg, Springer
Series: Texts in theoretical computer science
Media group: MONOGRAPHIE
Cover von Special issue on process algebra; 1
S. 1 -65
Search for this author
Year: 2001
Publisher: Amsterdam, North-Holland
Count: 1
Media group: SPECIAL ISSUE
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2019
Media group: LIPIcs
Cover von 30th International Conference on Concurrency Theory
CONCUR 2019 : August 27 - 30, 2019, Amsterdam, the Netherlands
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 140
Media group: LIPIcs
Cover von Precongruence Formats with Lookahead through Modal Decomposition

Precongruence Formats with Lookahead through Modal Decomposition

Year: 2017
Media group: LIPIcs
Cover von Divide and Congruence III

Divide and Congruence III

Stability & Divergence
Year: 2017
Media group: LIPIcs
Cover von LARIS 1.0
LAnguage for Railway Interlooking Specifications
Search for this author
Year: 1991
Publisher: Amsterdam, CWI
Media group: MONOGRAPHIE
Cover von Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?

Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?

Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0