Search results
From MaRDI portal
- Operational Semantics and Algebraic Semantics for Verilog Using Maude 2015-12-11 Paper Unifying Operational Semantics with Algebraic Semantics for Instantaneous...10 bytes (16 words) - 19:44, 6 October 2023
- in the semantics of uniform concurrency 1988-01-01 Paper Metric semantics for concurrency 1988-01-01 Paper Order and metric in the stream semantics of elemental...10 bytes (20 words) - 00:43, 13 December 2023
- 1988-01-01 Paper The denotational semantics of dynamic networks of processes 1985-01-01 Paper On the Existence of Cook Semantics 1984-01-01 Paper https://portal...10 bytes (18 words) - 10:05, 13 December 2023
- Publication Date of Publication Type Denotational semantics as a foundation for cost recurrence extraction for functional languages 2022-09-02 Paper Adventures...10 bytes (16 words) - 20:08, 12 December 2023
- Variables in dynamics semantics 1995-11-28 Paper Incremental semantics for propositional texts 1995-02-13 Paper Sequence semantics for dynamic predicate...10 bytes (20 words) - 14:58, 13 December 2023
- metric semantics for concurrent PROLOG 1990-01-01 Paper Contractions in comparing concurrency semantics 1990-01-01 Paper Denotational semantics of a parallel...10 bytes (19 words) - 15:07, 12 December 2023
- 2000-10-26 Paper A \(\kappa\)-denotational semantics for map theory in ZFC+SI 1999-01-12 Paper A \(\kappa\)-denotational semantics for map theory in ZFC+SI...10 bytes (16 words) - 21:42, 12 December 2023
- computations in denotational semantics 1984-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3217583 1984-01-01 Paper On infinite computations in denotational semantics...10 bytes (21 words) - 01:52, 9 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q5141620 2020-12-18 Paper Denotational semantics for guarded dependent type theory 2020-12-08 Paper Modal dependent...10 bytes (18 words) - 05:06, 13 December 2023
- probability distributions in process algebra 2001-09-27 Paper A denotational semantics for a process-based simulation language 2000-10-29 Paper Population...10 bytes (16 words) - 06:31, 9 December 2023
- Programming Denotational Semantics II 1985-01-01 Paper Stable marriages by coroutines 1983-01-01 Paper Programming Denotational Semantics 1983-01-01 Paper...10 bytes (17 words) - 22:06, 10 December 2023
- language 1987-01-01 Paper Operational and denotational semantics of prolog 1987-01-01 Paper A denotational semantics for shared-memory parallelism and nondeterminism...10 bytes (18 words) - 19:35, 8 December 2023
- de/entity/Q4341025 1997-09-15 Paper Metric semantics from partial order semantics 1997-09-09 Paper Denotational linear time semantics and sequential composition 1997-02-27...10 bytes (20 words) - 18:05, 9 December 2023
- Intersection types and λ-definability 2004-02-08 Paper On phase semantics and denotational semantics: The exponentials 2003-02-03 Paper Relative definability...10 bytes (17 words) - 02:44, 9 December 2023
- Paper The denotational semantics of a functional tree-manipulation language 1993-11-15 Paper Termination conventions and comparative semantics 1988-01-01...10 bytes (18 words) - 10:29, 13 December 2023
- Type Denotational Semantics for a Probabilistic Timed Shared-Variable Language 2015-12-11 Paper Linking operational semantics and algebraic semantics for...10 bytes (18 words) - 08:58, 12 December 2023
- computations in denotational semantics 1984-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3347277 1984-01-01 Paper On infinite computations in denotational semantics...10 bytes (17 words) - 01:45, 12 December 2023
- asynchronous functional circuits and its operational semantics 1998-10-18 Paper Denotational semantics of program schemas for languages for communicating...10 bytes (18 words) - 03:04, 13 December 2023
- Edinburgh LCF. A mechanized logic of computation 1993-06-05 Paper The denotational semantics of sequential machines 1980-01-01 Paper On the power of list iteration...10 bytes (21 words) - 13:42, 28 January 2024
- Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude 2015-12-11 Paper Denotational Semantics for a Probabilistic Timed Shared-Variable...10 bytes (16 words) - 00:27, 25 September 2023
