Redesign of a systems engineering language: formalisation of

DOI10.1007/S00165-003-0017-2zbMATH Open1093.68597OpenAlexW2073077825MaRDI QIDQ706498FDOQ706498

Authors: Victor Bos, Jeroen Kleijn 

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

Recommendations

• scientific article; zbMATH DE number 1455620
• Publication:4941021
• Formal Modeling and Analysis of Timed Systems
• Timed Chi: modeling, simulation and verification of hardware systems
• Formal specification and analysis of hardware systems in timed Chi

zbMATH Keywords

VerificationFormal semanticsIndustrial systemsOperational semanticsSystem analysisSystems engineering

Mathematics Subject Classification ID

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

Cited In (6)

• Repairing time-determinism in the process algebra for hybrid systems
• Hybrid process algebra
• Revisiting sequential composition in process calculi
• Notions of bisimulation and congruence formats for SOS with data
• A ground-complete axiomatization of stateless bisimilarity over Linda
• Title not available (Why is that?)

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

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