scientific article; zbMATH DE number 1500662

MaRDI QIDQ4501684zbMATH OpenFDO

Authors Rocco De Nicola, Flavio Corradini, Anna Labella

Publication date 4 September 2000

zbMATH Keywords

temporal logicsgraded modalitiesresource bisimulation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Bisimulation for conditional modalities
• Resource bisimulation in Petri nets
• Modular bisimulation theory for computations and values
• scientific article; zbMATH DE number 4104403
• Bisimulation invariance and finite models
• Bisimulation in inquisitive modal logic
• Bisimulation and divergence
• Bisimulation and logic
• scientific article; zbMATH DE number 2064225
• Logic-induced bisimulations

Cited in

(6)

• Resource bisimilarity and graded bisimilarity coincide
• DYNAMIC GRADED EPISTEMIC LOGIC
• On CTL* with Graded Path Modalities
• Weak nominal modal logic
• Relating structure and power: comonadic semantics for computational resources
• Taking decisions late: end-based choice combined with action refinement

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