Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation

DOI10.1016/j.jlap.2004.05.005zbMath1080.68016OpenAlexW1991889131MaRDI QIDQ1779321

Jean-Pierre Talpin, Mickaël Kerbœuf

Publication date: 1 June 2005

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2004.05.005

zbMATH Keywords

Process calculiEncapsulationReuse and behavioral inheritance.Synchronous programming

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• SIGNAL
• LUSTRE
• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Statecharts: a visual formalism for complex systems
• Synchronous programming with events and relations: The SIGNAL language and its semantics
• The Esterel synchronous programming language: Design, semantics, implementation
• Inheritance in the join calculus.

This page was built for publication: Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation