Modelling thread synchronization in Java using generalized net

MaRDI QIDQ5493131zbMATH OpenFDO

Authors Pavel Tcheshmedjiev, Evdokia N. Sotirova

Publication date 20 October 2006

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Database theory (68P15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1951132
• Modeling multithreaded applications using Petri nets
• Inductive proof outlines for monitors in Java.
• scientific article; zbMATH DE number 1670511
• Model checking of concurrent algorithms: from Java to C

Cited in

(3)

• scientific article; zbMATH DE number 1951132 (Why is no real title available?)
• scientific article; zbMATH DE number 5189971 (Why is no real title available?)
• scientific article; zbMATH DE number 2139481 (Why is no real title available?)

This page was built for publication: Modelling thread synchronization in Java using generalized net

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