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

Publisher: Springer Science and Media

Volume 46, Number 1, 2009

On decidability of LTL model checking for process rewrite systems
pp. 1-28(28)
Authors: Bozzelli, L.; Křetínský, M. r.; Řehák, V. c.; Strej�?ek, J.

Favourites:
ADD

Semi-synchronous transductions
pp. 29-42(14)
Author: Bárány, V.

Favourites:
ADD

Exploiting colored Petri nets to decide on permutation admissibility
pp. 43-55(13)
Authors: Bashirov, R.; Kordon, F.; Lort, H. s.

Favourites:
ADD

A complexity tradeoff in ranking-function termination proofs
pp. 57-72(16)
Author: Ben-Amram, A. M.

Favourites:
ADD

A queue based mutual exclusion algorithm
pp. 73-86(14)
Authors: Aravind, A. A.; Hesselink, W. H.

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