Reduction-Based Semantics for Concurrent Calculi

Computer Software

Print ISSN : 0289-6540

Reduction-Based Semantics for Concurrent Calculi

Kohei Honda, Nobuko Yoshida

Author information

JOURNAL FREE ACCESS

1994 Volume 11 Issue 5 Pages 5_358-5_376

DOI https://doi.org/10.11309/jssst.11.5_358

Details

Abstract

Content from these authors

© 1994, Japan Society for Software Science and Technology

Favorites & Alerts

Related articles

Recently viewed articles

Ductile mode cutting of optical glass without silicon oxide composition
A COMPARISON OF SPATIAL ORGANIZATION AND HIERARCHICAL ORDER OF PLACE BETWEEN TRADITIONAL CAVE DWELLINGS (YAO-DONG) AND DWELLINGS ABOVE GROUND (FANG-WU) : Spatial organization and hierarchical order of place in Yao-Dong settlement dwellings of Chinese Loess Land Part I
Preparation of Monosized Silicon Micro Particles by Pulsated Orifice Ejection Method
Chemical Transformation of Protoberberines. IV. A Novel, Simple Synthesis of (±)-Canadaline and a Retroproto-berberine from Tetrahydroberberine
On-chip Jitter Tolerance Measurement Technique with Independent Jitter Frequency Modulation from VCO in CDR

Top