scientific article; zbMATH DE number 1773081

zbMATH Open0989.68078MaRDI QIDQ4540964FDOQ4540964

Authors: Oscar H. Ibarra 

Publication date: 28 July 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2088/20880145

Title of this publication is not available (Why is that?)

Recommendations

• VERIFICATION IN QUEUE-CONNECTED MULTICOUNTER MACHINES
• On reachability and safety in infinite-state systems
• scientific article; zbMATH DE number 1759611
• Context-Bounded Analysis of Concurrent Queue Systems
• Reachability problems on reliable and lossy queue automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Cited In (6)

• Reachability problems on reliable and lossy queue automata
• On reachability and safety in infinite-state systems
• Verification in loosely synchronous queue-connected discrete timed automata.
• Context-Bounded Analysis of Concurrent Queue Systems
• Title not available (Why is that?)
• VERIFICATION IN QUEUE-CONNECTED MULTICOUNTER MACHINES

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4540964)