×

Found 275 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:  68N01 03B70 68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

Real time programming. Languages, specification and verification. (English) Zbl 1204.68049

Hackensack, NJ: World Scientific (ISBN 978-981-02-2566-7/hbk; 978-981-28-1402-9/ebook). xv, 245 p. (2010).
PDFBibTeX XMLCite
Full Text: 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

Automatic symmetry detection for model checking using computational group theory. (English) Zbl 1120.68414

Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 481-496 (2005).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen. (English) Zbl 1095.68021

Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 3-540-21150-0/hbk). xxiv, 777 p. (2006).
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

Specification and development of interactive systems. Focus on streams, interfaces, and refinement. (English) Zbl 0981.68115

Monographs in Computer Science. New York, NY: Springer. xv, 348 p. (2001).
PDFBibTeX XMLCite
Full Text: DOI

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

Process theory of scheduling. Algebraic modelling of processes, resource restrictions and time. (Prozeßtheorie der Ablaufplanung. Algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit.) (German) Zbl 0910.68015

Teubner-Reihe Wirtschaftsinformatik. Leipzig: Teubner. 260 S. DM 66.00; öS 482.00; sFr. 59.00 (1998).
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

Algebra of communicating processes. Proceedings of ACP94, the 1st workshop, Utrecht, The Netherlands, 16-17 May 1994. (English) Zbl 0829.68073

Workshops in Computing. London: Springer-Verlag (in coll. with the British Computer Society). x, 359 p. (1995).
MSC:  68W30 68-06 00B25
PDFBibTeX XMLCite

What is a state of a system? (An outline). (English) Zbl 0803.68034

Droste, Manfred (ed.) et al., Semantics of programming languages and model theory. Papers presented at the international conference and Research Center for Computer Science, Schloß Dägstuhl, Germany, June 23-29, 1991. Yverdon: Gordon and Breach Science Publishers. Algebra Log. Appl. 5, 213-243 (1993).
MSC:  68Q10 68Q55 06A06
PDFBibTeX XMLCite

CONCUR ’90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings. (English) Zbl 0746.68005

Lecture Notes in Computer Science 458. Berlin etc.: Springer-Verlag. VII, 536 p. (1990).
PDFBibTeX XMLCite

Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings. (English) Zbl 0745.68017

Lecture Notes in Computer Science. 407. Berlin etc.: Springer-Verlag. VII, 382 p. (1990).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software