The connection between an event structure semantics and an operational semantics forTCSP
โ Scribed by Christel Baier; Mila E. Majster-Cederbaum
- Publisher
- Springer-Verlag
- Year
- 1994
- Tongue
- English
- Weight
- 921 KB
- Volume
- 31
- Category
- Article
- ISSN
- 0001-5903
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
The KeyWords Plus in the Science Citation Index database represents an approach to combining citation and semantic indexing in describing the document content. This paper explores the similarities or dissimilarities between citation-semantic and analytic indexing. The dataset consisted of over 400 m
In order to obtain the internal structurc of a main-sequence star such as the Suqusually one has to solve the detailed structure equations numerically. This paper is an attempt to construct analytic models for the stellar nuclear energy generation. We give closed-form analytic results for the stella