𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Compositional semantics and behavioral equivalences for P Systems

✍ Scribed by Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini

Book ID
108281402
Publisher
Elsevier Science
Year
2008
Tongue
English
Weight
876 KB
Volume
395
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On behavior homomorphisms and system equ
On behavior homomorphisms and system equivalence
✍ P.A. Fuhrmann πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 119 KB

In this paper we introduce the concept of a behavior homomorphisms and isomorphisms and use it to present a uniΓΏed approach to the study of equivalence of di erent behavior representations concentrating on a special representation we call normalized ARMA (NARMA) representation.

Normalization, approximation, and semant
Normalization, approximation, and semantics for combinator systems
✍ Steffen van Bakel; Maribel FernΓ‘ndez πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 400 KB

This paper studies normalization of typeable terms and the relation between approximation semantics and ΓΏlter models for Combinator Systems. It presents notions of approximants for terms, intersection type assignment, and reduction on type derivations; the last will be proved to be strongly normaliz