scientific article; zbMATH DE number 7020139

MaRDI QIDQ4621139zbMATH OpenFDO

Authors Ezio Bartocci, Diletta Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei

Publication date 8 February 2019

zbMATH Keywords

3D process3D shapebiological systemfull formal timed operational semantics

Mathematics Subject Classification ID

Optimization of shapes other than minimal surfaces (49Q10) Semantics in the theory of computing (68Q55) Computational methods for problems pertaining to biology (92-08) General biology and biomathematics (92B05)

Recommendations

• An operational semantics for timed CSP
• Operational Semantics of Framed Temporal Logic Programs
• A logical encoding of timed \(\pi\)-calculus
• Timed context-free temporal logics
• Aspecto-temporal operators and combinatory logic
• Temporal logic and model checking for operator precedence languages
• Timer formulas and decidable metric temporal logic
• Coalgebraic semantics for timed processes
• Towards a denotational semantics of timed RSL using duration calculus
• scientific article; zbMATH DE number 4128368

Cited in

(3)

• A general overview of formal languages for individual-based modelling of ecosystems
• A Combined Process Algebraic and Stochastic Approach to Bone Remodeling
• Towards Abstraction-Based Verification of Shape Calculus

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