scientific article

zbMATH Open0663.68020MaRDI QIDQ3814777

Asis K. Goswami, Mathai Joseph

Publication date: 1988

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

zbMATH Keywords

parallelismcompositional semanticssemantic domaindistributed real-time programsstate-based semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (3)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Real-time semantics for shared-variable concurrency

Recommendations

• Semantics and pragmatics of real-time maude 👍 👎
• Compositional semantics for real-time distributed computing 👍 👎
• Real-time semantics for shared-variable concurrency 👍 👎
• A Mechanized Semantic Framework for Real-Time Systems 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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