For the most recent entries see the
Petri Nets Newsletter.
Baer, J.L.
-
Baer, J.L.;
Girault, C.:
Cache Coherence in MIMD systems: A Petri Net Model for a Minimal State Solution.
1989.
-
Baer, J.L.:
Modelling Architectural Features with Petri Nets.
1987.
-
Baer, J.L.;
Girault, C.:
Design of a Parallel Architecture for the Cache Coherence Problem.
1986.
-
Baer, J.L.;
Girault, C.:
A Petri Net Model for a Solution to the Cache Coherence Problem.
1985.
-
Baer, J.L.;
Gardarin, G.;
Roucairol, G.:
The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology.
1980.
-
Baer, J.L.;
Jensen, J.:
Simulation of Large Parallel Systems: Modeling of Tasks.
1977.
-
Baer, J.L.;
Ellis, C.A.:
Model, Design and Evaluation of a Compiler for a Parallel Processing Environment.
1977.
-
Baer, J.L.:
Modelling Distributed Function Architectures.
1976.
-
Baer, J.L.;
Ellis, C.A.:
Compilation in Distributed Function Systems.
1976.
-
Baer, J.L.:
A Survey of Some Theoretical Aspects of Multiprocessing.
1973.
-
Baer, J.L.:
Modelling for Parallel Computation: A Case Study.
1973.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography