Search results
From MaRDI portal
- Checking Spatial Logics for Closure Spaces 2017-04-11 Paper On-the-fly Fast Mean-Field Model-Checking 2016-11-09 Paper Spatial Logic and Spatial Model Checking...10 bytes (16 words) - 20:00, 9 December 2023
- 2016-12-21 Paper Proof Theory of a Multi-Lane Spatial Logic 2015-08-25 Paper Proof Theory of a Multi-Lane Spatial Logic 2013-10-04 Paper Proving Safety of Traffic...10 bytes (16 words) - 02:32, 25 September 2023
- Checking Spatial Logics for Closure Spaces 2017-04-11 Paper On-the-fly Fast Mean-Field Model-Checking 2016-11-09 Paper Spatial Logic and Spatial Model Checking...10 bytes (16 words) - 01:51, 9 December 2023
- 2021-10-29 Paper Proof Theory of a Multi-Lane Spatial Logic 2015-08-25 Paper Proof Theory of a Multi-Lane Spatial Logic 2013-10-04 Paper Proving Safety of Traffic...10 bytes (17 words) - 13:43, 6 October 2023
- Paper A spatial logic for concurrency. I 2004-11-23 Paper BioAmbients: an abstraction for biological compartments 2004-10-27 Paper A spatial logic for concurrency...10 bytes (17 words) - 21:23, 11 December 2023
- Publication Type Synthesis of communicating process skeletons from temporal-spatial logic specifications 1989-01-01 Paper...10 bytes (16 words) - 10:35, 24 September 2023
- Publication Type Synthesis of communicating process skeletons from temporal-spatial logic specifications 1989-01-01 Paper...10 bytes (16 words) - 10:35, 24 September 2023
- Publication Type Synthesis of communicating process skeletons from temporal-spatial logic specifications 1989-01-01 Paper...10 bytes (16 words) - 10:35, 24 September 2023
- 2013-09-25 Paper Name-passing in an ambient-like calculus and its proof using spatial logic 2006-05-29 Paper Typing evolving ambients 2002-07-25 Paper...10 bytes (16 words) - 13:21, 28 January 2024
- duration calculus 2020-01-03 Paper Undecidability Results for Multi-Lane Spatial Logic 2016-02-25 Paper No Need Knowing Numerous Neighbours 2015-11-04 Paper...10 bytes (16 words) - 07:47, 7 October 2023
- automata 2017-10-13 Paper Model Checking Spatial Logics for Closure Spaces 2017-04-11 Paper Spatial Logic and Spatial Model Checking for Closure Spaces 2016-10-04...10 bytes (16 words) - 03:23, 25 September 2023
- Publication Date of Publication Type A Spatial Logic for Simplicial Models 2023-08-26 Paper Topological Classification of RNA Structures via Intersection...10 bytes (16 words) - 14:29, 24 September 2023
- Paper A Spatial Equational Logic for the Applied π-Calculus 2008-11-25 Paper On the Almighty Wand 2008-11-20 Paper Separability in the Ambient Logic 2008-11-13...10 bytes (16 words) - 20:26, 11 December 2023
- 2004 - Concurrency Theory 2005-08-23 Paper A spatial logic for concurrency. I 2004-11-23 Paper A spatial logic for concurrency. II 2004-10-04 Paper https://portal...10 bytes (17 words) - 10:33, 6 October 2023
- 2021-12-01 Paper Subject-oriented spatial logic 2021-09-21 Paper https://portal.mardi4nfdi.de/entity/Q3452675 2015-11-13 Paper https://portal.mardi4nfdi.de/entity/Q4982329...10 bytes (16 words) - 17:40, 6 October 2023
- of description logic knowledge bases 2016-03-08 Paper https://portal.mardi4nfdi.de/entity/Q3457199 2015-12-11 Paper Topological Logics with Connectedness...10 bytes (17 words) - 23:16, 9 December 2023
- theories 2014-04-10 Paper A spatial equational logic for the applied \(\pi \)-calculus 2010-09-09 Paper A Spatial Equational Logic for the Applied π-Calculus...10 bytes (16 words) - 13:25, 7 October 2023
- interval temporal logics 2022-10-14 Paper https://portal.mardi4nfdi.de/entity/Q5079792 2022-05-28 Paper Subject-oriented spatial logic 2021-09-21 Paper...10 bytes (18 words) - 17:40, 6 October 2023
- On the Power of Attribute-Based Communication 2016-10-19 Paper Spatial Logic and Spatial Model Checking for Closure Spaces 2016-10-04 Paper CaSPiS: a calculus...10 bytes (17 words) - 03:21, 25 September 2023
- Properties of Term Rewrite Systems 2009-03-06 Paper Satisfiability of a Spatial Logic with Tree Variables 2009-03-05 Paper Tree Automata with Global Constraints...10 bytes (16 words) - 03:57, 9 December 2023
