×

Found 47 Documents (Results 1–47)

The ins and outs of Petri net composition. (English) Zbl 1499.68216

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 278-299 (2022).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

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

On the discriminating power of passivation and higher-order interaction. (English) Zbl 1392.68283

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 14, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

Robin Milner’s work on concurrency. (English) Zbl 1342.68006

Mislove, Michael (ed.) et al., Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6–10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 265, 5-10 (2010).
MSC:  68-03 68Q85
PDFBibTeX XMLCite
Full Text: DOI

A theory of contracts for web services. (English) Zbl 1295.68080

Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 261-272 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Matching systems for concurrent calculi. (English) Zbl 1277.68189

Amadio, Roberto (ed.) et al., Proceedings of the 14th international workshop on expressiveness in concurrency (EXPRESS 2007), Lisbon, Portugal, September 3, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 2, 85-99 (2008).
MSC:  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

Theories of programming: Top-down and bottom-up and meeting in the middle. (English) Zbl 0976.68110

Wing, Jeannette M. (ed.) et al., FM ’99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20–24, 1999. Proceedings. In 2 vols. Berlin: Springer (ISBN 3-540-66587-0/vol1; 3-540-66588-9/vol2). Lect. Notes Comput. Sci. 1708; 1709, 1-27 (1999).
PDFBibTeX XMLCite

An introduction to history dependent automata. (English) Zbl 0925.68289

Gordon, Andrew (ed.) et al., HOOTS II. 2nd workshop on higher-order operational techniques in semantics. Stanford Univ., Palo Alto, CA, USA, December 8–12, 1997. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 10, electronic paper No. 14 (1997).
MSC:  68Q55 68N15
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software