×

Found 80 Documents (Results 1–80)

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

Comparative expressiveness of product line calculus of communicating systems and 1-selecting modal transition systems. (English) Zbl 1444.68126

Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 490-503 (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

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

An interpretation of CCS into ludics. (English) Zbl 1433.68247

Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 97-114 (2018).
MSC:  68Q85 03F52
PDFBibTeX XMLCite
Full Text: DOI

Introduction to concurrency theory. Transition systems and CCS. (English) Zbl 1333.68001

Texts in Theoretical Computer Science. An EATCS Series. Cham: Springer (ISBN 978-3-319-21490-0/hbk; 978-3-319-21491-7/ebook). xi, 334 p. (2015).
MSC:  68-01 68Q55 68Q85
PDFBibTeX XMLCite
Full Text: DOI

General reversibility. (English) Zbl 1277.68175

Amadio, Roberto (ed.) et al., Proceedings of the 13th international workshop on expressiveness in concurrency (EXPRESS 2006), Bonn, Germany, August 26, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 3, 75-86 (2007).
MSC:  68Q85 18A32 68Q05
PDFBibTeX XMLCite
Full Text: DOI

Active evaluation contexts for reaction semantics. (English) Zbl 1277.68127

van Glabbeek, R. (ed.) et al., Proceedings of the 3rd workshop on structural operational semantics (SOS 2006), Bonn, Germany, August 26, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 1, 57-70 (2007).
MSC:  68Q55 68Q85
PDFBibTeX XMLCite
Full Text: DOI

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

A Cook’s tour of equational axiomatizations for prefix iteration. (English) Zbl 0901.03027

Nivat, Maurice (ed.), Foundations of software science and computation structures. 1st international conference, FoSSaCS ’98. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1378, 20-34 (1998).
MSC:  03B70 68Q55
PDFBibTeX XMLCite

Modeling timeouts and unreliable media with a timed probabilistic calculus. (English) Zbl 0766.68034

Formal description techniques, IV, Proc. IFIP TC6/WG6 4th Int. Conf., Sydney/Australia 1991, 67-82 (1992).
MSC:  68Q10 68M10
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software