Work

The Decidability of the Structural Congruence for Beta-binders

Year: 2007

Type: article

Abstract: Beta-binders is a recent process algebra developed for modeling and simulating biological systems. As usual for process calculi, the semantic definition heavily relies on a structural congruence. The treatment of the structural congruence is essential for implementation. The proof of the decidability of this congruence, reported in this paper, is a first step towards implementations.

Source: Electronic Notes in Theoretical Computer Science

DOI: 10.1016/j.entcs.2007.05.014

Authors: Corrado Priami, Alessandro Romanel

Institution: The Microsoft Research - University of Trento Centre for Computational and Systems Biology

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W2030091233

FWCI: 1.18

Cites: 18

Cited by: 4

Related to: 10