For the most recent entries see the
Petri Nets Newsletter
.
Keyword: language equivalence
Gallasch, Guy Edward
;
Billington, Jonathan
:
Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols.
2005.
Juanole, G.
;
Ayoub dit Ayadi, M.
:
ISO CCR Formal Modelling and Verification via Projections.
1990.
Leuschel, Michael
:
Language and Refinement.
1990.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography