scientific article; zbMATH DE number 1500662

zbMATH Open0948.03024MaRDI QIDQ4501684FDOQ4501684

Authors: Rocco De Nicola, Flavio Corradini, Anna Labella 

Publication date: 4 September 2000

Title of this publication is not available (Why is that?)

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
• scientific article; zbMATH DE number 7585719

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)

Cited In (6)

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

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)