References in zbMATH (referenced in 14 articles )

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

  1. Johnsen, Einar Broch; Owe, Olaf: An asynchronous communication model for distributed concurrent objects (2007) ioport
  2. Sekerinski, Emil: Verification and refinement with fine-grained action-based concurrent objects (2005)
  3. Bassiliades, N.; Vlahavas, I.: PRACTIC: a concurrent object data model for a parallel object-oriented database system. (1995) ioport
  4. Thomsen, Bent: Plain CHOCS. A second generation calculus for higher order processes (1993)
  5. van Glabbeek, Rob; Vaandrager, Frits: Modular specification of process algebras (1993)
  6. America, Pierre; Rutten, Jan: A layered semantics for a parallel object-oriented language (1992)
  7. Baeten, Jos C.M.; Vaandrager, Frits W.: An algebra for process creation (1992)
  8. Paalvast, Edwin M.; Sips, Henk J.; Breebaart, Leo C.: $Booster$: A high-level language for portable parallel algorithms (1991)
  9. van den Bos, Jan; Laffa, Chris: PROCOL. A concurrent object-oriented language with protocols delegation and constraints (1991)
  10. de Boer, F.S.: A proof system for the parallel object-oriented language POOL (1990)
  11. Hur, Jin Ho; Chon, Kilnam: Self and selftype (1990)
  12. America, Pierre: Issues in the design of a parallel object-oriented language (1989)
  13. America, Pierre; de Bakker, Jaco; Kok, Joost N.; Rutten, Jan: Denotational semantics of a parallel object-oriented language (1989)
  14. America, Pierre; De Bakker, Jaco: Designing equivalent semantic models for process creation (1988)