scientific article; zbMATH DE number 2086959

zbMATH Open1057.68627MaRDI QIDQ4737568

Einar Broch Johnsen, Demissie B. Aredo, Wenhui Zhang, Olaf Owe

Publication date: 11 August 2004

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

Title of this publication is not available (Why is that?)

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)

Uses Software

• PVS

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A formal approach to the engineering of domain-specific distributed systems 👍 👎
• Synthesizing different development paradigms: Combining top-down with bottom-up reasoning about distributed systems 👍 👎
• Towards formal specification of a distributed computing system 👍 👎
• A graph-based approach to the compositional specification of distributed systems 👍 👎
• Formal Methods in Software and Systems Modeling 👍 👎

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 Q4737568)