Coalgebraic Semantic Model for the Clock Constraint Specification Language

DOI10.1007/978-3-319-17581-2_12zbMath1328.68138OpenAlexW1036629521MaRDI QIDQ3460225

Grygoriy Zholtkevych, Frédéric Mallet

Publication date: 6 January 2016

Published in: Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-17581-2_12

zbMATH Keywords

coalgebratransition systemconcurrent systemclock modelbehavior model

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

GenCCSL

Uses Software

• CCSL
• TimeSquare

Cites Work

• Unnamed Item
• Unnamed Item
• Universal coalgebra: A theory of systems
• A structural approach to operational semantics
• A lattice-theoretical fixpoint theorem and its applications
• Infinite Computation, Co-induction and Computational Logic
• Time, clocks, and the ordering of events in a distributed system

This page was built for publication: Coalgebraic Semantic Model for the Clock Constraint Specification Language