×

Found 125 Documents (Results 1–100)

Translation of CCS into CSP, correct up to strong bisimulation. (English) Zbl 1522.68368

Calinescu, Radu (ed.) et al., Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13085, 243-261 (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

Theories of programming. The life and works of Tony Hoare. (English) Zbl 1473.68016

ACM Books 39. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-8728-6/hbk; 978-1-4503-8729-3/pbk; 978-1-4503-8731-6/ebook). xx, 429 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI

A calculus of space, time, and causality: its algebra, geometry, logic. (English) Zbl 07168631

Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 3-21 (2019).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI Link

Separation logic semantics for communicating processes. (English) Zbl 1286.68352

Chen, Yixiang (ed.) et al., Proceedings of the 1st international conference on foundations of informatics, computing and software (FICS 2008), East China Normal University, Shanghai, China, June 3–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 212, 3-25 (2008).
PDFBibTeX XMLCite
Full Text: DOI

A lattice-theoretic model for an algebra of communicating sequential processes. (English) Zbl 1168.68439

Barkaoui, Kamel (ed.) et al., Theoretical aspects of computing – ICTAC 2006. Third international colloquium, Tunis, Tunisia, November 20–24, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-48815-6/pbk). Lecture Notes in Computer Science 4281, 123-137 (2006).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Communication process architectures 2001. WoTUG-24, Proceedings of the 24th World occam and transputer user group technical meeting, Bristol, United Kingdom, September 16–19, 2001. (English) Zbl 1047.68018

Concurrent Systems Engineering Series 59. Amsterdam: IOS Press; Tokyo: Ohmsha (ISBN 1-58603-202-X/pbk; 4-274-90467-9/pbk). viii, 351 p. (2001).
MSC:  68M14
PDFBibTeX XMLCite

Verifying implementation relations. (English) Zbl 0977.68786

Oliveira, José Nuno (ed.) et al., FME 2001: Formal methods for increasing software productivity. International symposium of formal methods Europe, Berlin, Germany, March 12-16, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2021, 364-383 (2001).
MSC:  68U99 68Q65
PDFBibTeX XMLCite
Full Text: Link

Security management via \(Z\) and CSP. (English) Zbl 0924.68139

Grundy, Jim (ed.) et al., International refinement workshop and formal methods Pacific 1998. Proceedings of IRW/FMP ’98. Canberra, Australia, September 29 - October 2, 1998. Berlin: Springer. Springer Series in Discrete Mathematics and Theoretical Computer Science. 334-351 (1998).
MSC:  68Q60
PDFBibTeX XMLCite

A fully abstract metric-space denotational semantics for reactive probabilistic processes. (English) Zbl 0917.68137

Edalat, Abbas (ed.) et al., Comprox III. 3rd workshop on Computation and approximation. Birmingham, GB, September 11–13, 1997. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 13, electronic paper No. 14 (1997).
MSC:  68Q55
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software