×

Found 11 Documents (Results 1–11)

Exploratory functions on nondeterministic strategies, up to lower bisimilarity. (English) Zbl 1337.68187

Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 357-375 (2009).
MSC:  68Q85 03B40
PDFBibTeX XMLCite
Full Text: DOI

Nominal domain theory for concurrency. (English) Zbl 1257.68110

Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 546-560 (2009).
MSC:  68Q85 03E75 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Event structure spans for nondeterministic dataflow. (English) Zbl 1277.68128

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, 109-129 (2007).
MSC:  68Q55 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Real-time stable event structures and marked Scott domains: An adjunction. (English) Zbl 1185.68442

Virbitskaite, Irina (ed.) et al., Perspectives of systems informatics. 6th international Andrei Ershov memorial conference, PSI 2006, Novosibirsk, Russia, June 27–30, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-70880-3/pbk). Lecture Notes in Computer Science 4378, 443-450 (2007).
PDFBibTeX XMLCite
Full Text: DOI

New-HOPLA: a higher-order process language with name generation. (English) Zbl 1090.68074

Levy, Jean-Jacques (ed.) et al., Exploring new frontiers of theoretical informatics. IFIP 18th world computer congress, TC1 3rd international conference on theoretical computer science (TCS2004), 22–27 August 2004, Toulouse, France. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-8140-5/hbk). IFIP, International Federation for Information Processing 155, 521-534 (2004).
MSC:  68Q85 68M14 68Q55
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software