You have Guest access.
Log In
Volume 1 / 1971 - Volume 49 / 2012
1-28
Original Article
On decidability of LTL model checking for process rewrite systems
Laura Bozzelli, Mojmír Křetínský, Vojtěch Řehák and Jan Strejček
29-42
Semi-synchronous transductions
Vince Bárány
43-55
Exploiting colored Petri nets to decide on permutation admissibility
Rza Bashirov, Fabrice Kordon and Hüseyin Lort
57-72
A complexity tradeoff in ranking-function termination proofs
Amir M. Ben-Amram
73-86
A queue based mutual exclusion algorithm
Alex A. Aravind and Wim H. Hesselink
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info