Pages that link to "Item:Q1196296"
From MaRDI portal
The following pages link to The Esterel synchronous programming language: Design, semantics, implementation (Q1196296):
Displaying 41 items.
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- A synchronous \(\pi\)-calculus (Q2381508) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- Synchronous structures (Q2500524) (← links)
- Resource control for synchronous cooperative threads (Q2503040) (← links)
- Concurrency in synchronous systems (Q2505637) (← links)
- Specifying and verifying reactive systems in a multi-language environment (Q2841282) (← links)
- Timed term rewrite systems (Q2841289) (← links)
- A deterministic logical semantics for Esterel (Q2848132) (← links)
- Deciding Synchronous Kleene Algebra with Derivatives (Q2947408) (← links)
- Modeling for Verification (Q3176361) (← links)
- Transfer of Model Checking to Industrial Practice (Q3176381) (← links)
- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions (Q3455651) (← links)
- Logical behaviors (Q3476339) (← links)
- Branching vs. Linear Time: Semantical Perspective (Q3510781) (← links)
- On Recursion, Replication and Scope Mechanisms in Process Calculi (Q3525112) (← links)
- What Is in a Step: New Perspectives on a Classical Question (Q3587261) (← links)
- Modelling of Complex Software Systems: A Reasoned Overview (Q3613056) (← links)
- (Q3840785) (← links)
- Control laws, tasks and procedures with ORCCAD: application to the control of an underwater arm (Q4546788) (← links)
- Abstract interpretation of temporal concurrent constraint programs (Q4592982) (← links)
- Timed soft concurrent constraint programs: An interleaved and a parallel approach (Q4593013) (← links)
- Turing Machines, Transition Systems, and Interaction (Q4917087) (← links)
- (Q5015367) (← links)
- Semantic Foundations for Deterministic Dataflow and Stream Processing (Q5041103) (← links)
- On Implementable Timed Automata (Q5041274) (← links)
- What is in a step: On the semantics of statecharts (Q5096220) (← links)
- A Unary Semigroup Trace Algebra (Q5098727) (← links)
- On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS (Q5170663) (← links)
- An Observational Theory for Mobile Ad Hoc Networks (Q5262943) (← links)
- Reactive Concurrent Programming Revisited (Q5262951) (← links)
- Hybrid Systems: Computation and Control (Q5307935) (← links)
- TCC, with History (Q5418978) (← links)
- Formal Methods in Computer-Aided Design (Q5492974) (← links)
- Computer Aided Verification (Q5716561) (← links)
- Automatic verification of parameterized networks of processes (Q5941103) (← links)
- An axiomatic semantics for Esterel (Q5958617) (← links)
- An algebraic theory of multiple clocks (Q6044116) (← links)
- Models for concurrent constraint programming (Q6104366) (← links)
- Equivalences of Statecharts (Q6162113) (← links)
