For the most recent entries see the
Petri Nets Newsletter.
Keyword: OCCAM
-
Hopkins, Richard;
Hall, Jon;
Botti, Oliver:
A Basic-Net Algebra for Program Semantics and its Application to OCCAM.
1992.
-
Botti, Oliver;
Hall, Jon;
Hopkins, Richard:
A Petri Net Semantics of occam.
1991.
-
Breant, F.:
TAPIOCA: OCCAM Rapid Prototyping from Petri Net.
1990.
-
May, David;
Shepherd, Roger:
Occam and the Transputer.
1990.
-
Xu, Z.;
de Vel, O.;
Brown, G.;
Graham, I.:
A Graph Tool for Parallel Programming in Occam.
1990.
-
Xu, Z.;
de Vel, O.;
Brown, G.;
Graham, I.:
A Graph Tool for Parallel Programming in Occam.
1990.
-
Best, Eike:
Structure and Behaviour of Concurrent Systems: Selected Results of the Esprit Basic Research Action No. 3148 DEMON (Design Methods Based on Nets).
1990.
-
Best, Eike;
Koutny, Maciej:
Partial Order Semantics of Priority Systems.
1990.
-
Jung, W.:
Parallelsteuerung und Petrinetze. Eine Ampelsteuerung in OCCAM.
1990.
-
Draper, C.M.;
Holding, D.J.:
Specification and Verification of the Real-Time Synchronisation Software for a Modular Independently Driven High-Speed Machine.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography