For the most recent entries see the
Petri Nets Newsletter.
Keyword: process algebras
-
Niaouris, Apostolos:
An Algebra of Petri Nets with Arc-Based Time Restrictions.
2005.
-
Best, Eike;
Koutny, Maciej:
Process Algebra: A Petri-Net-Oriented Tutorial.
2004.
-
Leucker, M.:
On model checking synchronized hardware circuits.
2000.
-
Winkowski, J.:
Processes of timed Petri nets.
2000.
-
Koutny, M.;
Best, E.:
Operational and denotational semantics for the box algebra.
1999.
-
Tarasyuk, Igor V.:
Equivalences for concurrent and distributed systems. A review of dissertation.
1999.
-
Best, Eike;
Devillers, Raymond;
Koutny, Maciej:
The Box Algebra - A Model of Nets and Process Expressions.
1999.
-
Bernardo, M.;
Donatiello, L.;
Gorrieri, R.:
A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems.
1998.
-
Bolognesi, T.;
Accordino, F.:
A layer on top of PROLOG for composing behavior constraints.
1998.
-
Devillers, R.;
Koutny, M.:
Recursive nets in the box calculus.
1998.
-
Walicki, M.;
Meldal, S.:
Algebraic approaches to nondeterminism: and overview.
1997.
-
Tarasyuk, Igor V.:
Algebra AFLP2: a calculus of labelled nondeterministic processes.
1996.
-
Tarasyuk, Igor V.:
An algebra of labelled nondeterministic processes.
1996.
-
Best, Eike:
The Box Calculus: a New Causal Algebra with Multi-label Communication.
1992.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography