×

Found 7 Documents (Results 1–7)

100
MathJax

Asynchronous session types and progress for object oriented languages. (English) Zbl 1202.68094

Bonsangue, Marcello M. (ed.) et al., Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72919-8/pbk). Lecture Notes in Computer Science 4468, 1-31 (2007).
MSC:  68N19 68N15
PDF BibTeX XML Cite
Full Text: DOI Link

Type-based security for mobile computing integrity, secrecy and liveness. (English) Zbl 1316.68110

Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 333-340 (2006).
MSC:  68Q85 68N15 68N19
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

Year of Publication

Classification

all top 3

Software