Search results
From MaRDI portal
- Colin Stirling (section List of research outcomes)https://portal.mardi4nfdi.de/entity/Q3707371 1985-01-01 Paper A fair calculus of communicating systems 1984-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3221398...10 bytes (16 words) - 02:53, 9 December 2023
- Gerardo Costa (section List of research outcomes)nondeterministic typed \(\lambda\)-calculi 1984-01-01 Paper A fair calculus of communicating systems 1984-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3343420...10 bytes (16 words) - 10:33, 6 October 2023
- Arthur J. Milner (section List of research outcomes)https://portal.mardi4nfdi.de/entity/Q3929062 1981-01-01 Paper A calculus of communicating systems 1980-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3883467...10 bytes (18 words) - 17:35, 12 December 2023
- characterization for faults in replicated systems 1994-07-21 Paper A CALCULUS OF TIMED COMMUNICATING SYSTEMS 1993-06-29 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 14:46, 24 September 2023
- György Vaszil (section List of research outcomes)completeness of context-free parallel communicating grammar systems 1999-04-29 Paper On simulating non-returning PC grammar systems with returning systems 1999-01-12...10 bytes (16 words) - 03:07, 9 December 2023
- Bisimulations for a calculus of broadcasting systems 1999-06-22 Paper A behavioural theory of first-order CML 1999-04-28 Paper A theory of weak bisimulation...10 bytes (21 words) - 18:04, 9 December 2023
- Rocco De Nicola (section List of research outcomes)distributed systems 2020-01-31 Paper A calculus for collective-adaptive systems and its behavioural theory 2019-09-17 Paper Distribution and locality of concurrent...10 bytes (19 words) - 17:45, 11 December 2023
- Gheorghe Păun (section List of research outcomes)Paper Array-rewriting P systems 2003-10-15 Paper From Watson-Crick L systems to Darwinian P systems 2003-10-15 Paper Membrane systems with promoters/inhibitors...10 bytes (17 words) - 12:20, 9 December 2023
- Ralph-Johan Back (section List of research outcomes)planning in the presence of tax constraints 1998-08-13 Paper Refinement Calculus 1998-06-21 Paper Refinement of fair action systems 1998-05-24 Paper Superposition...10 bytes (19 words) - 06:31, 9 December 2023
- Emilio Tuosto (section List of research outcomes)Date of Publication Type On Composing Communicating Systems 2024-03-01 Paper Data-driven choreographies à la Klaim 2024-02-23 Paper Composition of synchronous...10 bytes (17 words) - 02:14, 10 December 2023
- Simon J. Gay (section List of research outcomes)Checking of Concurrent Quantum Systems 2019-02-07 Paper A new linear logic for deadlock-free session-typed processes 2018-07-17 Paper Communicating quantum...10 bytes (18 words) - 19:51, 12 December 2023
- reaction systems with restriction 2014-08-29 Paper Spatial Calculus of Looping Sequences 2014-03-21 Paper Modular Verification of Interactive Systems with...10 bytes (18 words) - 23:39, 9 December 2023
- Corrado Priami (section List of research outcomes)Security, and Analysis of Systems 2010-02-05 Paper Global Computing. Programming Environments, Languages, Security, and Analysis of Systems 2010-02-05 Paper...10 bytes (16 words) - 06:47, 13 December 2023
- Jan Willem Klop (section List of research outcomes)Publication Date of Publication Type Extended term rewriting systems 2023-03-09 Paper Termination for the direct sum of left-linear term rewriting systems 2022-12-09...10 bytes (19 words) - 07:36, 12 December 2023
- Cristian Ene (section List of research outcomes)Paper On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus 2015-12-15 Paper CIL Security Proof for a...10 bytes (16 words) - 06:32, 12 December 2023
- Catalin Dima (section List of research outcomes)Strategic Ability and Knowledge of the Past of Communicating Coalitions 2009-02-12 Paper Abstractions of Multi-agent Systems 2008-09-25 Paper Distributed...10 bytes (16 words) - 14:02, 10 December 2023
- Cédric Fournet (section List of research outcomes)Publication Date of Publication Type Key-schedule security for the TLS 1.3 standard 2023-08-25 Paper A calculus of mobile agents 2023-06-28 Paper Implicit...10 bytes (16 words) - 18:04, 9 December 2023
- Manfred Broy (section List of research outcomes)Semantics of communicating processes 1984-01-01 Paper On hierarchies of abstract data types 1983-01-01 Paper Denotational semantics of communicating processes...10 bytes (17 words) - 08:16, 9 December 2023
- Carroll Morgan (section List of research outcomes)Hidden Markov Models: A Monadic Account of Quantitative Information Flow 2018-04-23 Paper A demonic lattice of information 2018-03-26 Paper Algebra for...10 bytes (18 words) - 15:39, 6 December 2023
- Paola Quaglia (section List of research outcomes)Publication Date of Publication Type A fully parallel calculus of synchronizing processes 2022-11-02 Paper A π-calculus with explicit substitutions: The...10 bytes (17 words) - 16:57, 24 September 2023