scientific article; zbMATH DE number 6721685
zbMATH Open1364.68130MaRDI QIDQ2989002FDOQ2989002
Authors: Ludovic Henrio, Florian Kammüller 
Publication date: 19 May 2017
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066109004460?np=y
Title of this publication is not available (Why is that?)
Recommendations
- Behavioural typing for objects and process calculi
- scientific article; zbMATH DE number 1860620
- ASP\(_{\text{fun}}\) : a typed functional active object calculus
- Strong types for coordinating active objects
- Stateful Behavioral Types for Active Objects
- scientific article; zbMATH DE number 1696616
- Typed interpretations of extensible objects
- A Functional Abstraction of Typed Invocation Contexts
- A functional abstraction of typed invocation contexts
Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (13)
- Title not available (Why is that?)
- Strong types for coordinating active objects
- Functional reactive types
- Asynchronous sequential processes
- Secure implementation of asynchronous method calls and futures
- ASP\(_{\text{fun}}\) : a typed functional active object calculus
- A Mechanized Model of the Theory of Objects
- Towards a \(\mathbb{K}\)ool future
- A Complete Guide to the Future
- Active Objects with Deterministic Behaviour
- Standard type soundness for agents and artifacts
- Title not available (Why is that?)
- A relaxation of Üresin and Dubois' asynchronous fixed-point theory in Agda
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2989002)
