×

Found 122 Documents (Results 1–100)

100
MathJax

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
PDF BibTeX XML Cite
Full Text: DOI Link

Multiple synchrony in MSC. (English) Zbl 1347.68263

Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 149-166 (2009).
MSC:  68Q85 68Q55 68Q60
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite

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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite

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
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software