×

Found 25 Documents (Results 1–25)

100
MathJax

Observable behavior of dynamic systems: component reasoning for concurrent objects. (English) Zbl 1277.68056

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, 19-34 (2008).
MSC:  68N30 68N19 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Abstract interface behavior of object-oriented languages with monitors. (English) Zbl 1461.68051

Gorrieri, Roberto (ed.) et al., Formal methods for open object-based distributed systems. 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14–16, 2006. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 4037, 218-232 (2006).
MSC:  68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Heap-abstraction for an object-oriented calculus with thread classes. (English) Zbl 1145.68380

Beckmann, Arnold (ed.) et al., Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35466-2/pbk). Lecture Notes in Computer Science 3988, 1-10 (2006).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification

all top 3

Software