BlenX Static and Dynamic Semantics

DOI10.1007/978-3-642-04081-8_4MaRDI QIDQ3184664zbMATH OpenOpenAlexFDO

Authors Paola Quaglia, Corrado Priami, Alessandro Romanel

Publication date 22 October 2009

Published in CONCUR 2009 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04081-8_4

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Systems biology, networks (92C42)

Recommendations

• On the computational power of BlenX
• scientific article; zbMATH DE number 1900807
• Static Analysis
• The BlenX Language with Biological Transactions
• Evolving BlenX programs to simulate the evolution of biological networks

Cites work

• Communicating by compatibility
• Communicating Sequential Processes. The First 25 Years

Cited in

(5)

• On the computational power of BlenX
• The attributed pi-calculus with priorities
• The BlenX Language with Biological Transactions
• Semantics and efficient simulation algorithms of an expressive multilevel modeling language
• Evolving BlenX programs to simulate the evolution of biological networks

Describes a project that uses

Uses Software

• occam-pi
• BlenX

This page was built for publication: BlenX Static and Dynamic Semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3184664)