Recent Trends in Algebraic Development Techniques

DOI10.1007/b94458zbMath1278.68200MaRDI QIDQ5900818

Jan J. M. M. Rutten, Farhad Arbab

Publication date: 20 April 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b94458

Mathematics Subject Classification ID

68Q65: Abstract data types; algebraic specification

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Synthesis of Reo Circuits from Scenario-based Specifications, Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints, Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM, Soft constraint automata with memory, Connectors as designs: modeling, refinement and test case generation, Symbolic execution of Reo circuits using constraint automata, A model of context-dependent component connectors, Synthesis of Reo circuits from scenario-based interaction specifications, Comparing three coordination models: Reo, ARC, and PBRD, A basic algebra of stateless connectors, A formal approach to the engineering of domain-specific distributed systems, A perspective on service orchestration, Symbolic model checking for channel-based component connectors, A tutorial on coinductive stream calculus and signal flow graphs, A Formal Framework for Interactive Agents, Comparing Three Coordination Models: Reo, ARC, and RRD, Tiles for Reo, Coordination: Reo, Nets, and Logic, Linear Temporal Logic of Constraint Automata