Towards a truly concurrent model for processes sharing resources

Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005

Volumn , Issue , 2005, Pages 231-239

  Jin, Naiyong ^a   He, Jifeng ^b  

^a EAST CHINA NORMAL UNIVERSITY   (China)

^b UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

Resource Sharing; Semantic Model; Trace Model

Indexed keywords

CONCURRENT MODELING; CONVENTIONAL THEORY; DENOTATIONAL SEMANTICS; RESOURCE CONFLICT; RESOURCE SHARING; SEMANTIC MODEL; SHARING RESOURCES; TRACE MODELS;

SEMANTICS;

SOFTWARE ENGINEERING;

EID: 77957317354     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2005.50     Document Type: Conference Paper

References (14)

1. S. Brookes. Retracing the semantics of csp. In BCS-FACS: 25 Years of CSP, 2004.
2. S. Brookes. A semantics for concurrent separation logic. In Proceeding of CONCUR'04, 2004.
3. P. Gastin and M. W. Mislove. A truly concurrent semantics for a process algebra using resource pomsets. Theoretic Computer Science, 281(1-2):369-421, 2002.
4. P. Gastin and D. Teodosiu. Resource traces: a domain for processes sharing exclusive resources. Theoretic Comnputer Science, 278:195-221.
5. C. Hoare and J. He. Unifying Theories of Programming, Chapter 7 Concurrency and Chapter 8 Communication. Prentice Hall, 1998.
6. N. Jin and J. He. Resource models and pre-compiler specification for hardware/software co-design language. In IEEE Proceedings of Software Engineering and Formal Method, 2004.
7. N. Jin and J. He. Reusable resource models and a precompiler specification. Submitted to the Software and System Modelling, 2005.
8. R. Milner. Communication and Concurrenvy. Prentice Hall, 1989.
9. H. R. Nielson and F. Nielson. Semantics With Applications, A Formal Introduction. John Wiely and Sons, 1999.
10. P. W. O'Hearn. Resources, concurrency, and local reasoning. In Proceeding of CONCUR'04, 2004.
11. S. Owicki and D. Gries. Verifying properties of parallel programs: An axiomatic approach. Comm. ACM., 19(5):279-285.
12. J. Reynolds. Separation logic: a logic for shared mutable data structure. In Invited Papaer, Proceeding of 17th IEEE Conference on Logic in Computer Science, pages 55-74, 2002.
13. A. Roscoe. The Theory and Pratice of Concurrency. Prentice Hall, 1998.
14. A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5:285-309, 1955.