×

Found 42 Documents (Results 1–42)

100
MathJax

Network-conscious \(\pi\)-calculus – a model of Pastry. (English) Zbl 1342.68236

Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 3-17, electronic only (2015).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Network conscious \(\pi\)-calculus: a concurrent semantics. (English) Zbl 1342.68235

Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 291-306 (2012).
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Types for role-based access control of dynamic web data. (English) Zbl 1327.68169

Mariño, Julio (ed.), Functional and constraint logic programming. 19th international workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20774-7/pbk). Lecture Notes in Computer Science 6559, 1-29 (2011).
MSC:  68Q85 68M11
PDF BibTeX XML Cite
Full Text: DOI Link

On the relative expressive power of calculi for mobility. (English) Zbl 1337.68182

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, 269-286 (2009).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Interaction in time and space. (English) Zbl 1277.68172

Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FinCo 2007), Braga, Portugal, March 31, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 3, 5-18 (2008).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Co-algebraic models for quantitative spatial logics. (English) Zbl 1279.03055

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, 43-58 (2007).
PDF BibTeX XML Cite
Full Text: DOI

Typed behavioural equivalences for processes in the presence of subtyping. (English) Zbl 1268.68127

Harland, James (ed.), CATS’02. Computing: the Australasian theory symposium. Proceedings of the 8th symposium, Monash, Australia, January 28 – February 1, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 61, 122-139 (2002).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

Classification

all top 3

Software