×

Found 27 Documents (Results 1–27)

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

Extracting program logics from abstract interpretations defined by logical relations. (English) Zbl 1316.68042

Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 339-356 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic \(\pi\)-calculus and event structures. (English) Zbl 1279.68269

Aldini, Alessandro (ed.) et al., Proceedings of the fifth workshop on quantitative aspects of programming languages (QAPL 2007), Braga, Portugal, March 24–25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 190, No. 3, 147-166 (2007).
MSC:  68Q85 68Q55 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Processes and games. (English) Zbl 1272.68305

Gadducci, Fabio (ed.) et al., WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 71, 40-69 (2004).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: Link

Turing machines, transition systems, and interaction. (English) Zbl 1260.68267

Aceto, Luca (ed.) et al., EXPRESS’01. Proceedings of the 8th international workshop on expressiveness in concurrency, a satellite workshop of CONCUR 2001, Aalborg, Denmark, August 20, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 52, No. 1, 120-136 (2002).
MSC:  68Q85 68Q05 68Q15
PDFBibTeX XMLCite
Full Text: DOI

Intensional semantics of system \(T\) of Gödel. (English) Zbl 0962.68100

Spreen, Dieter (ed.), Domains IV. Workshop, Haus Humboldtstein, Remagen-Rolandseck, Germany, October 2-4, 1998. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 35, 14 p., electronic only (2000).
MSC:  68Q55
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software