Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494): Difference between revisions

@@ Property / describes a project that uses @@
+LUSTRE
@@ Property / describes a project that uses: LUSTRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Esterel
@@ Property / describes a project that uses: Esterel / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SCCharts
@@ Property / describes a project that uses: SCCharts / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W597329005
@@ Property / OpenAlex ID: W597329005 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+CPO models for compact GSOS languages
@@ Property / cites work: CPO models for compact GSOS languages / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive semantics for instantaneous reactions
+Normal rank
@@ Property / cites work @@
+Grounding Synchronous Deterministic Concurrency in Sequential Programming
+Normal rank
@@ Property / cites work @@
+Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Compositionality in dataflow synchronous languages: Specification and distributed code generation
+Normal rank
@@ Property / cites work @@
+Q2746874
@@ Property / cites work: Q2746874 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and execution of a synchronous block-diagram language.
+Normal rank
@@ Property / cites work @@
+Q3741042
@@ Property / cites work: Q3741042 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3971259
@@ Property / cites work: Q3971259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222947
@@ Property / cites work: Q4222947 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic theory of multiple clocks
@@ Property / cites work: An algebraic theory of multiple clocks / rank @@
+Normal rank
@@ Property / cites work @@
+<i>N</i>             -synchronous Kahn networks
@@ Property / cites work: <i>N</i> -synchronous Kahn networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+What Is in a Step: New Perspectives on a Classical Question
+Normal rank
@@ Property / cites work @@
+Topology of series-parallel networks
@@ Property / cites work: Topology of series-parallel networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753681
@@ Property / cites work: Q2753681 / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract model for the \(\pi\)-calculus.
@@ Property / cites work: A fully abstract model for the \(\pi\)-calculus. / rank @@
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+Q4284985
@@ Property / cites work: Q4284985 / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Acceptance trees
@@ Property / cites work: Acceptance trees / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3792222
@@ Property / cites work: Q3792222 / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract denotational model for observational precongruence
+Normal rank
@@ Property / cites work @@
+Q4054644
@@ Property / cites work: Q4054644 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138147
@@ Property / cites work: Q4138147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3713578
@@ Property / cites work: Q3713578 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Freeze after writing
@@ Property / cites work: Freeze after writing / rank @@
+Normal rank
@@ Property / cites work @@
+The intuitionism behind Statecharts steps
@@ Property / cites work: The intuitionism behind Statecharts steps / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484500
@@ Property / cites work: Q4484500 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of cyclic combinational circuits
@@ Property / cites work: Analysis of cyclic combinational circuits / rank @@
+Normal rank
@@ Property / cites work @@
+Argos: an automaton-based synchronous language
@@ Property / cites work: Argos: an automaton-based synchronous language / rank @@
+Normal rank
@@ Property / cites work @@
+Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?
+Normal rank
@@ Property / cites work @@
+Constructive Boolean circuits and the exactness of timed ternary simulation
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Polychronous Systems
@@ Property / cites work: Constructive Polychronous Systems / rank @@
+Normal rank
@@ Property / cites work @@
+What is in a step: On the semantics of statecharts
+Normal rank
@@ Property / cites work @@
+Compositional design of isochronous systems
@@ Property / cites work: Compositional design of isochronous systems / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Verification of Determinism for Structured Parallel Programs
+Normal rank