Real-time rewriting logic semantics for spatial concurrent constraint programming

DOI10.1007/978-3-319-99840-4_13MaRDI QIDQ6164542zbMATH OpenOpenAlexFDO

Authors Sergio Ramírez, Miguel Romero, Camilo Rocha, Frank D. Valencia

Publication date 28 July 2023

Published in Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-99840-4_13

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1231547
• Specification of real-time and hybrid systems in rewriting logic
• A symbolic model for timed concurrent constraint programming
• Timed rewriting logic with an application to object-based specification
• Twenty years of rewriting logic

Cited in

(3)

• Semantic structures for spatially-distributed multi-agent systems
• An executable semantics of clock constraint specification language and its applications
• Unified opinion formation analysis in rewriting logic

This page was built for publication: Real-time rewriting logic semantics for spatial concurrent constraint programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6164542)