scientific article; zbMATH DE number 2043473

MaRDI QIDQ4450987zbMATH OpenFDO

Authors Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi

Publication date 16 February 2004

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

zbMATH Keywords

high-level Petri netsreachability analysisSDLstate space explosion problem

Mathematics Subject Classification ID

Distributed systems (68M14) Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
• Towards a formal foundation of the specification and description language SDL
• scientific article; zbMATH DE number 1629963
• scientific article; zbMATH DE number 1728528
• scientific article; zbMATH DE number 2087637

Cited in

(13)

• OMT and SDL based techniques and tools for design, simulation and test production of distributed systems
• Protocol verification with the Aldébaran toolset
• scientific article; zbMATH DE number 1696459 (Why is no real title available?)
• scientific article; zbMATH DE number 1728528 (Why is no real title available?)
• scientific article; zbMATH DE number 1187962 (Why is no real title available?)
• scientific article; zbMATH DE number 1951537 (Why is no real title available?)
• scientific article; zbMATH DE number 1951540 (Why is no real title available?)
• scientific article; zbMATH DE number 2043465 (Why is no real title available?)
• scientific article; zbMATH DE number 2043475 (Why is no real title available?)
• scientific article; zbMATH DE number 2087623 (Why is no real title available?)
• Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
• Towards a formal foundation of the specification and description language SDL
• Modeling and verification of the SDL-specified communication protocols using high-level Petri nets

Describes a project that uses

Uses Software

• CPN/Tools
• PROD
• Maria

This page was built for publication:

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