Sciweavers

17

REX
1993

143views Logical Reasoning» more REX 1993»

An Introduction to the Theoretical Aspects of Coloured Petri Nets

13 years 10 months ago

An Introduction to the Theoretical Aspects of Coloured Petri Nets

Download www.dsc.ufcg.edu.br

Kurt Jensen

claim paper

Read More »

16

REX
1993

123views Logical Reasoning» more REX 1993»

Linear Logic on Petri Nets

13 years 10 months ago

Linear Logic on Petri Nets

Download www.brics.dk

Uffe Engberg, Glynn Winskel

claim paper

Read More »

15

REX
1993

111views Logical Reasoning» more REX 1993»

Interaction Diagrams

13 years 10 months ago

Interaction Diagrams

Download www.omg.org

Joachim Parrow

claim paper

Read More »

15

REX
1993

121views Logical Reasoning» more REX 1993»

Verification Tools for Finite-State Concurrent Systems

13 years 10 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 »

15

REX
1993

122views Logical Reasoning» more REX 1993»

Relationships Between Models of Concurrency

13 years 10 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 »

33

REX
1993

156views Logical Reasoning» more REX 1993»

Process Algebra with Backtracking

13 years 10 months ago

Process Algebra with Backtracking

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Alban Ponse, Jos van Wamel

claim paper

Read More »