Resumen de The Llull system: a normal notation, process algebras, and an environment for parallel-distributed system development
A introduction to a language and related tools for parallel/distributed system development, integrated in a computer aided design environment is given. A version of the language and some of the tools have been exercised in the context of industry projects. A company is presently taking care of the final development.
Integration of many tools over an inexpensive platform, extensive application of DD-schemes, extended abstract data types, and the proposal of a global strategy for parallel/distributed system verification are amongst the novel elements of the system.
