scientific article; zbMATH DE number 2080016

MaRDI QIDQ4472203zbMATH OpenFDO

Authors Françoise Bellegarde, Samir Chouali, Jacques Julliand

Publication date 3 August 2004

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

zbMATH Keywords

B event systemsfairness hypothesesPLTL verificationspecification

Mathematics Subject Classification ID

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 2086961
• A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions
• Algebraic Methodology and Software Technology
• Theoretical Aspects of Computing – ICTAC 2005
• scientific article; zbMATH DE number 1332671
• \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems
• scientific article; zbMATH DE number 4215384

Cited in

(3)

• Verification of \(\mathrm{EB}^3\) specifications using CADP
• scientific article; zbMATH DE number 2086961 (Why is no real title available?)
• A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions

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