Sciweavers

41

REX
1993

143views Logical Reasoning» more REX 1993»

An Introduction to the Theoretical Aspects of Coloured Petri Nets

14 years 3 months ago

An Introduction to the Theoretical Aspects of Coloured Petri Nets

Download www.dsc.ufcg.edu.br

Kurt Jensen

claim paper

Read More »

28

REX
1993

123views Logical Reasoning» more REX 1993»

Linear Logic on Petri Nets

14 years 3 months ago

Linear Logic on Petri Nets

Download www.brics.dk

Uffe Engberg, Glynn Winskel

claim paper

Read More »

33

REX
1993

111views Logical Reasoning» more REX 1993»

Interaction Diagrams

14 years 3 months ago

Interaction Diagrams

Download www.omg.org

Joachim Parrow

claim paper

Read More »

33

REX
1993

121views Logical Reasoning» more REX 1993»

Verification Tools for Finite-State Concurrent Systems

14 years 3 months ago

Verification Tools for Finite-State Concurrent Systems

Download www-2.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

35

REX
1993

122views Logical Reasoning» more REX 1993»

Relationships Between Models of Concurrency

14 years 3 months ago

Relationships Between Models of Concurrency

Download eprints.ecs.soton.ac.uk

Abstract. Models for concurrency can be classiﬁed with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...

Mogens Nielsen, Vladimiro Sassone, Glynn Winskel

claim paper

Read More »

45

REX
1993

156views Logical Reasoning» more REX 1993»

Process Algebra with Backtracking

14 years 3 months ago

Process Algebra with Backtracking

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Alban Ponse, Jos van Wamel

claim paper

Read More »