No label defined (Q5090941)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7561313

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7561313

Statements

scholarly article

0 references

Mohamed Faouzi Atig

0 references

Shankara Narayanan Krishna

0 references

0 references

Parosh Aziz Abdulla

0 references

publication date

21 July 2022

0 references

zbMATH Keywords

reachability

0 references

timed automata

0 references

asynchronous programs

0 references

MaRDI profile type

MaRDI publication profile

0 references

A theory of timed automata

0 references

Verification of Asynchronous Programs with Nested Locks

0 references

Analyzing Asynchronous Programs with Preemption

0 references

Decidability Results for Well-Structured Transition Systems with Auxiliary Storage

0 references

Delay-bounded scheduling

0 references

Analyzing Real-Time Event-Driven Programs

0 references

A Perfect Model for Bounded Verification

0 references

The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets

0 references

Ordering by Divisibility in Abstract Algebras

0 references

Interprocedural analysis of asynchronous programs

0 references

The theory of well-quasi-ordering: a frequently discovered concept

0 references

0 references

Model Checking Multithreaded Programs with Asynchronous Atomic Methods

0 references

Applications and Theory of Petri Nets 2005

0 references

Identifiers

10.4230/LIPIcs.FSTTCS.2018.8

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5090941

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5090941&oldid=36832427"