scientific article; zbMATH DE number 7319028

MaRDI QIDQ4965855zbMATH OpenFDO

Authors Luca Aceto, I. Fábregas, David de Frutos Escrig, Anna Ingolfsdottir, Miguel Palomino

Publication date 10 March 2021

Full work available at URL https://arxiv.org/abs/1108.4464, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS2011.1

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Graphical representation of invariants and covariants in general relativity
• scientific article; zbMATH DE number 1163001
• A graphic approach to gauge invariance induced identity
• scientific article; zbMATH DE number 4013608
• scientific article; zbMATH DE number 919674
• Covariant canonical formalism of fields
• Covariant phase space formulation of parametrized field theories
• FEYNMAN DIAGRAMS VIA GRAPHICAL CALCULUS
• On Graphical Representation and Conformal Mapping
• On a covariant version of Caianiello's model

Cited in

(12)

• Encoding safety in \(\mathrm{CLL}_R\)
• A graphic approach to gauge invariance induced identity
• Refinement checking on parametric modal transition systems
• When are prime formulae characteristic?
• Relating modal refinements, covariant-contravariant simulations and partial bisimulations
• When are prime formulae characteristic?
• scientific article; zbMATH DE number 125881 (Why is no real title available?)
• scientific article; zbMATH DE number 1163001 (Why is no real title available?)
• Graphical representation of invariants and covariants in general relativity
• Equational characterization of covariant-contravariant simulation and conformance simulation semantics
• Covariant-contravariant refinement modal logic
• The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum

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