Skip to main content
padlock icon - secure page this page is secure

Publisher: Springer Science and Media

Volume 32, Number 4, 1995

Invariants, composition, and substitution
pp. 299-299(1)
Author: Kindler, E.

Favourites:
ADD

S-invariant analysis of general recursive Petri boxes
pp. 313-313(1)
Author: Devillers, R.

Favourites:
ADD

A Petri nets semantics for data flow networks
pp. 347-347(1)
Authors: Bernardeschi, C.; De Francesco, N.; Vaglini, G.

Favourites:
ADD

A modal logic for message passing processes
pp. 375-375(1)
Authors: Hennessy, M.; Liu, X.

Favourites:
ADD
Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more