Specification of Concurrent Systems in Miranda.

Computer Software

Print ISSN : 0289-6540

Specification of Concurrent Systems in Miranda.

Keijiro Araki

Author information

JOURNAL FREE ACCESS

1991 Volume 8 Issue 1 Pages 1_12-1_24

DOI https://doi.org/10.11309/jssst.8.1_12

Details

Abstract

Content from these authors

© 1991, Japan Society for Software Science and Technology

Favorites & Alerts

Related articles

Recently viewed articles

STUDIES ON THE NUTRITIONAL VALUE OF ALLIUM PLANTS : (VI) EFFECT OF ALLITHIAMINE AND ITS HOMOLOGUES ON LIVING ORGANISMS : (2) GROWTH TEST IN RATS
Influence of alloying elements on cellular response and in-vitro corrosion behavior of titanium-molybdenum-chromium alloys for implant materials
Stephanie Kelton, The Deficit Myth: Modern Monetary Theory and the Birth of the People’s Economy
[title in Japanese]
Physiological Roles of Rab27 Effectors in Regulated Exocytosis

Top