Hakutulokset - (transactions or (transition OR translation)) on petri nets and other models of concurrency,

1

Transactions on Petri Nets and Other Models of Concurrency I

Julkaistu 2008

Sisällysluettelo: “... and Validation of Concurrent Systems Using Coloured Petri Nets -- Teaching Concurrency Concepts to Freshmen...”
Hae kokoteksti

Elektroninen E-kirja

2

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Continuous Petri Nets with Interval Firing Speeds -- Modelling Concurrency with Quotient Monoids -- Labeled...”
Hae kokoteksti

Elektroninen E-kirja

3

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua