• Creol

  • Referenced in 25 articles [sw09421]
  • Creol: A type-safe object-oriented model for distributed concurrent systems. Object-oriented distributed computing ... much waiting and even deadlock. The Creol model targets distributed objects by a looser coupling ... inheritance and subtyping relations are distinct in Creol. Interfaces form a subtype hierarchy, whereas multiple ... class level. This paper presents the Creol syntax, operational semantics, and type system...
  • pandoc

  • Referenced in 2 articles [sw26026]
  • LaTeX, MediaWiki markup, TWiki markup, TikiWiki markup, Creole 1.0, Vimwiki markup, OPML, Emacs Org-Mode...
  • Ott

  • Referenced in 30 articles [sw00663]
  • Semantic definitions of full-scale programming languages are...
  • SPIN

  • Referenced in 699 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Maude

  • Referenced in 651 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • Scala

  • Referenced in 73 articles [sw07180]
  • Steps in Scala. An introduction to object-functional...
  • Erlang

  • Referenced in 104 articles [sw07202]
  • Erlang is a programming language used to build...
  • MMT

  • Referenced in 16 articles [sw07905]
  • Maude MSOS tool. Modular structural operational semantics (MSOS...
  • Multilisp

  • Referenced in 33 articles [sw09420]
  • Multilisp: A language for concurrent symbolic computation. Multilisp...
  • Rebeca

  • Referenced in 8 articles [sw09422]
  • Rebeca is an actor-based language with a...
  • Java Jr

  • Referenced in 14 articles [sw19083]
  • Java Jr.: Fully abstract trace semantics for a...
  • JavAdaptor

  • Referenced in 4 articles [sw24982]
  • JavAdaptor: unrestricted dynamic software updates for Java. Dynamic...
  • ABCL

  • Referenced in 14 articles [sw28079]
  • ABCL: An Object-oriented Concurrent System. This book...