𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Nautilus, a Concurrent Diagrammatic Specification and Programming Language

✍ Scribed by Claudio Naoto Fuzitaki; Paulo Blauth Menezes; Júlio Pereira Machado; Fernando D’Andrea

Publisher
Springer US
Year
2006
Tongue
English
Weight
633 KB
Volume
36
Category
Article
ISSN
0920-8542

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

BCOOPL: Basic concurrent object-oriented
BCOOPL: Basic concurrent object-oriented programming language
✍ Hans de Bruin 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 281 KB

A small, object-oriented language is introduced: BCOOPL (Basic Concurrent Object-Oriented Programming Language). This language is specifically targeted to support component-oriented programming. The main design goal of BCOOPL was to provide a small, but powerful set of language features that support

A tactic language for refinement of stat
A tactic language for refinement of state-rich concurrent specifications
✍ Marcel Oliveira; Frank Zeyda; Ana Cavalcanti 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 849 KB

Circus is a refinement language in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and calculus are distinctive, but since refinements may be long and repetitive, the practical application of this technique c