Search results
From MaRDI portal
- recent protocols 1997-02-28 Paper A model of reconfiguration in communicating sequential processes with a notion of transactions 1992-06-28 Paper Separability...10 bytes (18 words) - 17:16, 12 December 2023
- and verification: teaching and case studies 2018-03-29 Paper Communicating Sequential Processes. The First 25 Years 2005-11-29 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 10:21, 13 December 2023
- Denotational semantics of program schemas for languages for communicating sequential processes 1995-11-05 Paper A language of graph schemes of parallel algorithms...10 bytes (18 words) - 03:04, 13 December 2023
- Verified Software Initiative: A Manifesto 2022-02-14 Paper Communicating Sequential Processes 2022-02-14 Paper Envoi 2022-02-14 Paper ACM Interview 2022-02-14...10 bytes (22 words) - 01:01, 11 December 2023
- Publication Date of Publication Type Communicating Sequential Processes. The First 25 Years 2005-11-29 Paper...10 bytes (17 words) - 21:31, 27 December 2023
- Publication Date of Publication Type Communicating Sequential Processes. The First 25 Years 2005-11-29 Paper...10 bytes (20 words) - 21:31, 27 December 2023
- Denotational semantics of program schemas for languages for communicating sequential processes 1995-11-05 Paper...10 bytes (18 words) - 13:24, 28 January 2024
- Refinement checking for privacy policies 2012-07-20 Paper Communicating Sequential Processes. The First 25 Years 2005-11-29 Paper...10 bytes (16 words) - 08:51, 6 October 2023
- Cryptology 2006-11-14 Paper CSP theorems for communicating B machines 2006-10-25 Paper Communicating Sequential Processes. The First 25 Years 2005-11-29 Paper...10 bytes (19 words) - 15:32, 7 December 2023
- existence of symmetric algorithms to find leaders in networks of communicating sequential processes 1988-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3787467...10 bytes (17 words) - 02:59, 9 December 2023
- Walk in Barry Simon's Mathematical Garden 2016-12-29 Paper Communicating Sequential Processes. The First 25 Years 2005-11-29 Paper...10 bytes (16 words) - 06:26, 7 October 2023
- verification of a class of Diffie-Hellman protocols 2007-04-26 Paper Communicating Sequential Processes. The First 25 Years 2005-11-29 Paper...10 bytes (16 words) - 09:17, 7 October 2023
- 2016-05-26 Paper A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes 2008-09-11 Paper Modelling higher-order dual nondeterminacy...10 bytes (18 words) - 03:52, 9 December 2023
- Simulating finitely recursive processes in LISP 1993-01-16 Paper Undecidability results for deterministic communicating sequential processes 1990-01-01 Paper Randomized...10 bytes (18 words) - 12:54, 24 September 2023
- Real-Life Asynchronous Devices and Systems 2010-09-21 Paper Communicating Sequential Processes. The First 25 Years 2005-11-29 Paper https://portal.mardi4nfdi...10 bytes (20 words) - 11:00, 6 October 2023
- Publication Type A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes 2008-09-11 Paper Modelling higher-order dual nondeterminacy...10 bytes (16 words) - 14:45, 6 October 2023
- 2011-01-26 Paper A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes 2008-09-11 Paper https://portal.mardi4nfdi.de/entity/Q4412473...10 bytes (16 words) - 11:06, 7 October 2023
- de/entity/Q4692624 1993-06-05 Paper A proof technique for communicating sequential processes 1981-01-01 Paper Computing Fibonacci numbers (and similarly...10 bytes (17 words) - 10:34, 24 September 2023
- of Publication Type CSP, Occam, and Inmos 2022-02-14 Paper Communicating Sequential Processes. The First 25 Years 2005-11-29 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 08:52, 6 October 2023
- refinement 2005-12-13 Paper Communicating Sequential Processes. The First 25 Years 2005-11-29 Paper Communicating Sequential Processes. The First 25 Years 2005-11-29...10 bytes (18 words) - 13:21, 7 October 2023