References in zbMATH (referenced in 14 articles )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam: An evaluation of interaction paradigms for active objects (2019)
  2. Scholliers, Christophe; Tanter, Éric; De Meuter, Wolfgang: Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model (2014)
  3. Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin: Behavioral interface description of an object-oriented language with futures and promises (2009)
  4. Johnsen, Einar Broch; Yu, Ingrid Chieh: Backwards type analysis of asynchronous method calls (2008)
  5. Johnsen, Einar Broch; Owe, Olaf: An asynchronous communication model for distributed concurrent objects (2007) ioport
  6. Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh: Creol: A type-safe object-oriented model for distributed concurrent systems (2006)
  7. Pourazin, Shahriar; Barforoush, Ahmad AbdollahZadeh: Concurrent metareasoning (2006) ioport
  8. Igarashi, Atsushi; Kobayashi, Naoki: Type reconstruction for linear (\pi)-calculus with I/O subtyping. (2000)
  9. Bowman, Howard: A LOTOS-based tutorial on formal methods for object-oriented distributed systems. (1998) ioport
  10. Bowman, Howard: A LOTOS-based tutorial on formal methods for object-oriented distributed systems. (1998) ioport
  11. Honda, Yasuaki; Tokoro, Mario: Reflection and time-dependent computing: Experiences with the (R^2) architecture. (1996) ioport
  12. Jones, C. B.: Accomodating interference in the formal design of concurrent object-based programs. (1996) ioport
  13. Kobayashi, Naoki; Yonezawa, Akinori: Asynchronous communication model based on linear logic (1995)
  14. Mason, Ian; Talcott, Carolyn: Equivalence in functional languages with effects (1991)