Redesign of a systems engineering language: formalisation of \(\chi\)

DOI10.1007/s00165-003-0017-2zbMath1093.68597OpenAlexW2073077825MaRDI QIDQ706498

Jeroen Kleijn, Victor Bos

Publication date: 8 February 2005

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-003-0017-2

zbMATH Keywords

VerificationFormal semanticsIndustrial systemsOperational semanticsSystem analysisSystems engineering

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Revisiting sequential composition in process calculi ⋮ Repairing time-determinism in the process algebra for hybrid systems ⋮ A ground-complete axiomatization of stateless bisimilarity over Linda ⋮ Hybrid process algebra ⋮ Notions of bisimulation and congruence formats for SOS with data

This page was built for publication: Redesign of a systems engineering language: formalisation of \(\chi\)