A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation

Publisher Website

31 August 1983

journal article
Published by Elsevier in Information Sciences

Vol. 30 (2) , 79-105
https://doi.org/10.1016/0020-0255(83)90001-4

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Protocols for Deadlock Detection in Distributed Database Systems
IEEE Transactions on Software Engineering, 1982
An Approach to Distributed Computing System Software Design
IEEE Transactions on Software Engineering, 1981
A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling
ACM Transactions on Programming Languages and Systems, 1979
A Sampler of Formal Definitions
ACM Computing Surveys, 1976