𝔖 Bobbio Scriptorium
✦   LIBER   ✦

π-schemas — a language for graphic representation of algorithms

✍ Scribed by V. V. Prokhorov

Book ID
105082278
Publisher
Springer US
Year
1992
Tongue
English
Weight
756 KB
Volume
28
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Language for definition and manipulation
Language for definition and manipulation of parametric graphic representation
✍ C. Devoti; P. Galli; U. Cugini 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 112 KB

In this issue of Computer-aided Design are listed the abstracts and, where given, the authors' biographies from the programme of CAD84. The papers are arranged in the order in which they will be given. For the parallel sessions, papers presented in the Winter Garden are shown before those in the Cla

Faithful π-nets.: A graphical representa
Faithful π-nets.: A graphical representation of the asynchronous π-calculus
✍ Gabriel Ciobanu; Mihai Rotaru 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 976 KB

Starting from the -nets de ned by Milner, we present a graphical formalism called faithful -nets. The aim of these nets is to provide a graphical form to the systems with dynamically changing con gurations. The faithful -nets correspond precisely to the -calculus. The paper gives two fully abstract