The design of a tool-supported graphical notation for Timed CSP

DOI10.1007/3-540-47884-1_17MaRDI QIDQ4737566zbMATH OpenFDO

Authors Phillip J. Brooke, Richard F. Paige

Publication date 11 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2335/23350299.htm

zbMATH Keywords

graphical notationprocess algebraTimed CSPtool support

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Timed CSP and Object-Z
• TIMED TTCN-3 based graphical real-time test specification
• A brief history of Timed CSP
• scientific article; zbMATH DE number 2059569
• Specification and Proof in Real Time CSP

Cited in

(1)

• Algebraic Methodology and Software Technology

This page was built for publication: The design of a tool-supported graphical notation for Timed CSP

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