dblp.uni-trier.dewww.uni-trier.de

Jacques Vautherin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1987
5 Jacques Vautherin: Calculation of Semi-Flows for Pr/T-Systems. PNPM 1987: 174-183
1986
4 Gérard Memmi, Jacques Vautherin: Analysing Nets by the Invariant Method. Advances in Petri Nets 1986: 300-336
3 Jacques Vautherin: Parallel systems specitications with coloured Petri nets and algebraic specifications. European Workshop on Applications and Theory of Petri Nets 1986: 293-308
1985
2 Jacques Vautherin: Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs. Applications and Theory in Petri Nets 1985: 418-434
1984
1 Jacques Vautherin, Gérard Memmi: Computation of flows for unary-predicates/transition-nets. European Workshop on Applications and Theory in Petri Nets 1984: 455-467

Coauthor Index

1Gérard Memmi [1] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)