scientific article; zbMATH DE number 2088655

MaRDI QIDQ3045252zbMATH OpenFDO

Authors P. S. Thiagarajan

Publication date 12 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2360/23600068.htm

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4112564
• scientific article; zbMATH DE number 1182731
• scientific article; zbMATH DE number 1059327
• scientific article; zbMATH DE number 1114033
• “Sometimes” and “not never” revisited

Cited in

(6)

• TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I
• scientific article; zbMATH DE number 1231685 (Why is no real title available?)
• scientific article; zbMATH DE number 1182731 (Why is no real title available?)
• scientific article; zbMATH DE number 1377375 (Why is no real title available?)
• scientific article; zbMATH DE number 4119658 (Why is no real title available?)
• Logics for concurrency: structure versus automata

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 Q3045252)