Implementing Lyee-Calculus in Java

Knowledge-Based Systems

Volumn 19, Issue 2, 2006, Pages 116-129

  Fujita, H ^a   Ktari, B ^b   Mejri, M ^b  

^a IWATE PREFECTURAL UNIVERSITY   (Japan)

^b UNIVERSITÉ LAVAL   (Canada)

Author keywords

Java; JCSP; Lyee methodology; Lyee Calculus; Process algebra

Indexed keywords

ALGEBRA; CALCULATIONS; COMPUTER PROGRAMMING; COMPUTER SCIENCE; PARALLEL PROCESSING SYSTEMS; SPECIFICATIONS;

CALCULATION CONDITIONS; JCSP; LYEE METHODOLOGY; LYEE-CALCULUS; PROCESS ALGEBRA;

JAVA PROGRAMMING LANGUAGE;

EID: 33646814763     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2005.10.004     Document Type: Article

References (13)

1. F. Negoro, I. Hamid, A proposal for intention engineering, 5th East-European Conference Advances in Databases and Information System (ADBIS'2001).
2. F. Egoro, I. Hamid, A proposal for intention engineering, International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet (SSGRR 2001).
3. Mejri M., Ktari B., and Fujita H. Lyee-calculus: a formalization of lyee methodology. In: Fujita H., and Johannesson P. (Eds). New Trends in Software Methodologies, Tools and Techniques. Proceedings of the 2nd International Workshop on Lyee Methodology, Stockholm, Sweden (2003), IOS Press 235-261
4. P. Welch, Communicating Sequential Processes for Java (JCSP), http://www.cs.kent.ac.uk/projects/ofa/jcsp/ (2004).
5. G. Berry, G. Boudol, The chemical abstract machine, in: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL'90, San Francisco, California, United States, 1990.
6. Boudol G. Some chemical abstract machines. Lecture Notes in Computer Science (LNCS) 803 (1994) 92-123
7. M. Woitaszek, Introduction to Occam, http://www.cs.rit.edu/msw4585/occam/, 2004.
8. Mejri M., Ktari B., and Erhioui M. Static analysis on lyee-oriented software. In: Fujita H., and Johannesson P. (Eds). New Trends in Software Methodologies, Tools and Techniques. Proceedings of 1st International Workshop on Lyee Methodology, Paris (2002), IOS Press 375-394
9. Milner R. A calculus of communicating systems. Lecture Notes in Computer Science 92 (1980), Springer, Berlin
10. Hoare C.A.R. Communicating sequential processes. Prentice Hall International Series in Computer Science (1985), Prentice Hall
11. Bergstra J.A., and Klop J.W. Algebra of communicating processes with abstraction. Theoretical Computer Science 37 1 (1985) 77-121
12. F. Negoro, Principle of Lyee software, 2000 International Conference on Information Society in 21st Century (IS2000), 2000, pp. 121-189.
13. F. Negoro, Introduction to Lyee, The Institute of Computer Based Software Methodology and Technology, Tokyo, Japan, 2001.