search result

Cover von The formal semantics of programming languages
an introduction
Author: Winskel, Glynn Search for this author
Year: 1993
Publisher: Cambridge, MIT Pr.
Series: Foundation of computing series
Media group: MONOGRAPHIE
Cover von The unfolding of general Petri nets

The unfolding of general Petri nets

Year: 2008
Media group: ARTICLE
Cover von LICS 1997; 2
special issue : S.151-385
Search for this author
Year: 2003
Publisher: San Diego, Academic Press
Count: 2
Media group: SPECIAL ISSUE
Cover von Causal Unfoldings

Causal Unfoldings

Year: 2019
Media group: LIPIcs
Cover von Distributed Strategies Made Easy

Distributed Strategies Made Easy

Year: 2017
Media group: LIPIcs
Cover von Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or

Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or

Year: 2017
Media group: LIPIcs
Cover von Strategies with Parallel Causes

Strategies with Parallel Causes

Year: 2017
Media group: LIPIcs
Cover von Seminar on concurrency
Carnegie-Mellon University : Pittsburgh, PA, July 9 - 11, 1984
Search for this author
Year: 1985
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 197
Media group: MONOGRAPHIE
Cover von The True Concurrency of Herbrand's Theorem

The True Concurrency of Herbrand's Theorem

Year: 2018
Media group: LIPIcs
Cover von Proceedings of the workshop on proof theory and compexity; 1/3
University of Aarhus, Denmark, August 3 - 7, 1998 : S. 1 - 344
Search for this author
Year: 2000
Publisher: Amsterdam, North-Holland
Count: 1/3
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0