Distributed states logic

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn 2002-January, Issue , 2002, Pages 55-57

  Montangero, C ^a   Semini, L ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Asynchronous communication; Clocks; Concurrent computing; Delay; Distributed computing; DSL; Logic; Pervasive computing; Runtime library; Specification languages

Indexed keywords

CLOCKS; DISTRIBUTED COMPUTER SYSTEMS; DSL; SPECIFICATION LANGUAGES; UBIQUITOUS COMPUTING;

ASYNCHRONOUS COMMUNICATION; CONCURRENT COMPUTING; DELAY; LOGIC; RUN-TIME LIBRARY;

COMPUTATION THEORY;

EID: 41449106776     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2002.1027474     Document Type: Conference Paper

References (15)

1. C. Areces. Logic Engineering. The Case of Description and Hybrid Logics. PhD thesis, Univ. of Amsterdam, 2000.
2. K. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, Reading Mass., 1988.
3. H.-D. Ehrich, C. Caleiro, A. Sernadas, and G. Denker. Logics for specifying concurrent information systems. In Logic for Databases and Information Systems, pages 167-198. Kluver Academic Publishers, 1998.
4. R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning About Knowledge. MIT Press, 1995.
5. G. Ferrari, C. Montangero, L. Semini, and S. Semprini. Mark, a reasoning kit for mobility. Automated Software Engineering, 9(2):137-150, Apr 2002.
6. S. Katz and D. Peled. Interleaving set temporal logic. Theoretical Computer Science, 75(3):263-287, 1990.
7. Lodaya, Ramanujam, and Thiagarajan. Temporal logics for communicating sequential agents: I. Int. Journal of Found. of Computer Science, 3(2):117-159, '92.
8. A. Masini and A. Maggiolo-Schettini. TTL: A formalism to describe local and global properties of distributed systems. Theor. Informatics and Applic., 26(2):115-149, 1992.
9. A. Montanari. Metric and Layered Temporal Logic for Time Granularity. PhD thesis, University of Amsterdam, 1996.
10. C. Montangero and L. Semini. Distributed states logic. Technical Report TR-02-05, Dipartimento di Informatica, 2002. At www.di.unipi.it/ricerca/TR/tr.html".
11. C. Montangero and L. Semini. Composing Specifications for Coordination. In Proc. COORDINATION 99, LNCS 1594, pages 118-133, 1999.
12. th ACM Principles of Distributed Computing, pages 28-37, 1984.
13. th IEEE Symp. on Logic In Computer Science, pages 118-127. IEEE Computer Society, 1996.
14. L. Semini and C. Montangero. A Refinement Calculus for Tuple Spaces. Science of Computer Programming, 34:79-140, 1999.
15. P. S. Thiagarajan and J. G. Henriksen. Distributed versions of linear time temporal logic: A trace perspective. In Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, LNCS 1491, pages 643-681, 1998.