swMATH20012MaRDI QIDQ31835FDOQ31835
Author name not available (Why is that?)
Official website: http://www-sop.inria.fr/meije/esterel/esterel-eng.html
Cited In (only showing first 100 items - show all)
- What good are digital clocks?
- Turing machines, transition systems, and interaction
- LOLA
- Foundations of Boolean stream runtime verification
- Formal modelling and verification of GALS systems using GRL and CADP
- Transition system specifications with negative premises
- Coordination models Orc and Reo compared
- Title not available (Why is that?)
- Synchronous Kleene algebra
- An observational theory for mobile ad hoc networks (full version)
- A metamodel for the design of polychronous systems
- Non-standard semantics of hybrid systems modelers
- TTL
- FoCs
- Ada95
- ISDL
- Simulink
- StateFlow
- Cheddar
- Reo
- Fiacre
- B4Free
- LMNtal
- Ptolemy
- visualSTATE
- SystemC
- CESAR
- KAT-ML
- Giotto
- LUSTRE
- Pict
- Janus
- Linda
- ULM
- SysML
- MIO Workbench
- Quartz
- Fudgets
- Pinapa
- RAVEN
- GUItar
- PDCoq
- PIPER
- TK
- SJL
- Polychrony
- Sisal
- UNITY
- Yampa
- PolyTOIL
- NewPolka
- LusSy
- GenCCSL
- Metropolis
- TimeSquare
- GRL
- DReX
- GHC
- CoBoxes
- Charon
- FRPNow
- Reactive-banana
- AADL
- Zelus
- PKind
- Fran
- Lucid
- MARTE
- Hume
- Flapjax
- Modechart
- PROMETHEUS
- SyReC
- DeltaJ
- DarwinSPL
- DeltaEcore
- JOANA
- SCCharts
- SCEst
- AmbientTalk
- MauveDB
- PMC
- HOL-UNITY
- Coccinelle
- TelegraphCQ
- tccp
- RT-ASLAN
- Copilot
- GME
- Continuous consensus via common knowledge
- Models and emerging trends of concurrent constraint programming
- Investigating the usability of real-time scheduling theory with the Cheddar project
- Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
- A comparison of Statecharts step semantics
- A framework for modeling the distributed deployment of synchronous designs
- Compatibility in a multi-component environment
- Concurrency in synchronous systems
- Timed-pNets: a communication behavioural semantic model for distributed systems
- Modelling of Complex Software Systems: A Reasoned Overview
- $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
This page was built for software: Esterel
