Rational, linear and algebraic process languages and iteration lemmata

Authors:
Ludwik Czaja;Manfred Kudlek
Affiliations:
-;-
Venue:
Fundamenta Informaticae - Special issue on Concurrency specification and programming (CS&P)
Year:
2000

Place/transition Petri net evolutions: recording ways, analysis and synthesis

Fundamenta Informaticae
ω-Process Languages for Place/Transition Nets

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Place/Transition Petri net Evolutions: Recording Ways, Analysis and Synthesis

Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
ω-Process Languages for Place/Transition Nets

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)

Hi-index	0.00