A simple, object-based view of multiprogramming

DOI10.1023/A:1012904412467zbMATH Open0989.68024OpenAlexW1547814110MaRDI QIDQ5959857

Jayadev Misra

Publication date: 11 April 2002

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1012904412467

zbMATH Keywords

object-based sequential programmingsoftware engineering

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (1)

Verification and refinement with fine-grained action-based concurrent objects

This page was built for publication: A simple, object-based view of multiprogramming

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