𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Process Algebras as Specification Language: (work in progress)

✍ Scribed by Friedger Müffke


Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
725 KB
Volume
68
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Specification languages in algebraic com
✍ Eric Van Wyk 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 353 KB

Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for constructing its target language image; these associated computations, called derived operations, are expressed in terms of operat

Accessing the mental space—Spatial worki
✍ Mikkel Wallentin; Ethan Weed; Leif Østergaard; Kim Mouridsen; Andreas Roepstorff 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 215 KB

## Abstract The “overlapping systems” theory of language function argues that linguistic meaning construction crucially relies on contextual information provided by “nonlinguistic” cognitive systems, such as perception and memory. This study examines whether linguistic processing of spatial relatio

Influences in the Decision-Making Proces
✍ MARTIN B. BRODSKY; PAUL A. COOKE 📂 Article 📅 2000 🏛 American Counseling Association 🌐 English ⚖ 700 KB

This study consisted of data obtained from 297 surveys about career decision‐making influences for students and professionals in speech‐language pathology and audiology. Decision‐making factors were similar across both professions, with personal factors being the most influential. Employment and edu

Spontaneous boiling up as a specific rel
✍ Pavel V. Skripov; Stanislavs E. Puchinskis 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 610 KB

The phenomenon of spontaneous bubble nucleation in extremely supersaturated (superheated) polymer-solvent systems has been studied experimentally. Spontaneous boilingup temperatures T\* for polystyrene and poly(ethy1ene glycol) solutions in a number of solvents have been measured at different values