Time: it is only logical!
From MaRDI portal
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) 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
- Coalgebraic semantic model for the clock constraint specification language
- SMT-based bounded schedulability analysis of the clock constraint specification language
- scientific article; zbMATH DE number 2084776
Cites work
- A clock-based framework for construction of hybrid systems
- A lattice-theoretical fixpoint theorem and its applications
- A structural approach to operational semantics
- A symbolic operational semantics for TESL -- with an application to heterogeneous system testing
- A theory of timed automata
- Argos: an automaton-based synchronous language
- Coalgebraic semantic model for the clock constraint specification language
- scientific article; zbMATH DE number 3970103 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 1759984 (Why is no real title available?)
- Petri nets, event structures and domains. I
- SMT-based bounded schedulability analysis of the clock constraint specification language
- Statecharts: a visual formalism for complex systems
- Time, clocks, and the ordering of events in a distributed system
- Universal coalgebra: A theory of systems
- Uppaal in a nutshell
Cited in
(2)
This page was built for publication: Time: it is only logical!
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535837)
