Search results
From MaRDI portal
- 2017-05-19 Paper The interaction of contracts and laziness 2017-05-15 Paper Blame assignment for higher-order contracts with intersection and union 2017-05-10 Paper...10 bytes (15 words) - 01:59, 25 September 2023
- on an improved cellular automata model 2017-02-07 Paper Monitors and blame assignment for higher-order session types 2016-10-24 Paper https://portal.mardi4nfdi...10 bytes (13 words) - 11:28, 6 October 2023
- plasticity model exhibiting multiple STDP curves 2020-02-27 Paper Blame assignment for higher-order contracts with intersection and union 2017-05-10 Paper...10 bytes (15 words) - 10:02, 7 October 2023
- Paper Substructural Proofs as Automata 2016-12-21 Paper Monitors and blame assignment for higher-order session types 2016-10-24 Paper Linear logic propositions...10 bytes (15 words) - 17:03, 9 December 2023
- Paper Session-typed concurrent contracts 2019-09-13 Paper Monitors and blame assignment for higher-order session types 2016-10-24 Paper...10 bytes (13 words) - 18:33, 6 October 2023
- measures of ignorance and degree of satisfaction 2012-10-01 Paper Measuring the blame of each formula for inconsistent prioritized knowledge bases 2012-06-20 Paper...10 bytes (13 words) - 07:16, 9 December 2023
- creation games 2013-09-26 Paper Variations on Instant Insanity 2013-09-13 Paper Blame Trees 2013-08-12 Paper Combining Binary Search Trees 2013-08-06 Paper The...10 bytes (17 words) - 14:25, 9 December 2023
- process-based concurrency through linear logic (full-version) Monitors and blame assignment for higher-order session types Complete Monitors for Behavioral Contracts...15 bytes (301 words) - 10:48, 3 February 2024
- checking Blame for all Space-efficient gradual typing A sound (and complete) model of contracts Concurrent Programming in ML Thunks Blame assignment for higher-order...15 bytes (286 words) - 12:21, 7 February 2024
- An elementary proof of strong normalization for intersection types Blame assignment for higher-order contracts with intersection and union Compositional...15 bytes (161 words) - 16:17, 13 February 2025
- contracts Contracts for higher-order functions Hybrid type checking Blame assignment for higher-order contracts with intersection and union Access permission...15 bytes (199 words) - 21:54, 3 February 2024
- Protocols in Session Types Provably correct runtime monitoring Monitors and blame assignment for higher-order session types Global escape in multiparty sessions...15 bytes (383 words) - 06:25, 30 January 2024
- controlled system synthesis for non-determinism and modal logic Monitors and blame assignment for higher-order session types Proof systems for satisfiability in...15 bytes (321 words) - 05:58, 7 March 2024
- the modal mu-calculus Completing the temporal picture Monitors and blame assignment for higher-order session types Combining test case generation and runtime...15 bytes (341 words) - 17:23, 1 February 2024
- controlled system synthesis for non-determinism and modal logic Monitors and blame assignment for higher-order session types Proof systems for satisfiability in...15 bytes (286 words) - 22:32, 1 February 2024
- Automata: Towards Expressive and Efficient Runtime Monitors Monitors and blame assignment for higher-order session types Scalable offline monitoring of temporal...15 bytes (448 words) - 19:40, 1 February 2024
- available (Why is that?) This page was built for publication: Monitors and blame assignment for higher-order session types Report a bug (only for logged in users...15 bytes (204 words) - 18:48, 3 February 2024
- controlled system synthesis for non-determinism and modal logic Monitors and blame assignment for higher-order session types Combining test case generation and runtime...15 bytes (331 words) - 06:06, 10 July 2024
- Session Types Controlled Reversibility and Compensations Monitors and blame assignment for higher-order session types On the Statistical Thermodynamics of...15 bytes (415 words) - 10:05, 6 March 2024
- deadlock-free session-typed processes Propositions as sessions Monitors and blame assignment for higher-order session types Linear logic propositions as session...15 bytes (393 words) - 19:25, 13 February 2025
