Coalgebraic semantic model for the clock constraint specification language

DOI10.1007/978-3-319-17581-2_12MaRDI QIDQ3460225zbMATH OpenOpenAlexFDO

Authors Frédéric Mallet, Grygoriy Zholtkevych

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

behavior modelclock modelcoalgebraconcurrent systemtransition system

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)

Recommendations

• Instant-based and state-based analysis of infinite logical clock
• An executable semantics of clock constraint specification language and its applications
• \textsc{CoCasl} at work -- modelling process algebra
• The coalgebraic class specification language CCSL
• Algebraic-coalgebraic specification in CoCASL

Cites work

• A lattice-theoretical fixpoint theorem and its applications
• A structural approach to operational semantics
• scientific article; zbMATH DE number 3651760 (Why is no real title available?)
• scientific article; zbMATH DE number 1796157 (Why is no real title available?)
• Infinite computation, co-induction and computational logic
• Time, clocks, and the ordering of events in a distributed system
• Universal coalgebra: A theory of systems

Cited in

(7)

• Divergence detection for CCSL specification via clock causality chain
• The coalgebraic class specification language CCSL
• GenCCSL
• An executable semantics of clock constraint specification language and its applications
• Instant-based and state-based analysis of infinite logical clock
• SMT-based bounded schedulability analysis of the clock constraint specification language
• Time: it is only logical!

Describes a project that uses

Uses Software

• CCSL
• TimeSquare

This page was built for publication: Coalgebraic semantic model for the clock constraint specification language

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