Dealing with Zero-Time Transitions in Axiom Systems

Information and Computation

Volumn 150, Issue 2, 1999, Pages 119-131

  Gargantini, Angelo ^a   Mandrioli, Dino ^a   Morzenti, Angelo ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0040229817     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1998.2779     Document Type: Article

References (16)

1. Berry, G., and Cosserat, L. (1984), "The ESTEREL Synchronous Programming Language and Its Mathematical Semantics" (S. Brooks, A. Roscoe, and G. Winskel, Eds.), Lecture Notes in Computer Science, Vol. 197, pp. 389-448, Springer-Verlag, New York/Berlin.
2. Barthomieu, B., and Diaz, M. (1991), Modeling and verification of time dependent systems using time petri nets, IEEE Trans. Software Eng. 17(3), 259-273.
3. Cohen, P. J. (1966), "Set Theory and the Continuum Hypothesis," Benjamin, New York.
4. Diener, F., and Diener, M. (Eds.) (1995), Nonstandard analysis in practice, Universitext, Springer-Verlag, New York/Berlin.
5. Cerone, A. (1993), "A Net-based Approach for Specifying Real-Time Systems," Dipartimento di Informatica, Università degli Studi di Pisa.
6. Coen-Porisini, A., Ghezzi, C., and Kemmerer, R. A. (1997), Specification of realtime systems using ASTRAL, IEEE Trans. Software Eng. 23(9), 572-598.
7. Felder, M., Mandrioli, D., and Morzenti, A. (1991), "Proving Properties of Real-Time Systems through Logical Specifications and Petri Net Models," Tech. Report 91-72, Department of Electronic Engineering and Information Sciences, Politecnico di Milano.
8. Felder, M., Mandrioli, D., and Morzenti, A. (1994), Proving properties of real-time systems through logical specifications and Petri net models, IEEE TSE-Transactions of Software Engineering 20(2), 127-141.
9. Heitmeyer, Constance, and Lynch, Nancy (1996), Formal verification of real-time systems using timed automata, in "Formal Methods for Real-Time Computing" (Constance Heitmeyer and Dino Mandrioli, Eds.), John Wiley, New York.
10. Koymans, R. (1989), Specifying Message Passing and Time Critical Systems with Temporal Logic, Ph.D. dissertation, Eindhoven University of Technology.
11. Merlin, P. M., and Farber, D. J. (1976), Recoverability of communication protocols -Implications of a theoretical study, IEEE Transactions on Communications 24(9), 1036-1043.
12. Nelson, E. (1977), Internal set theory: a new approach to nonstandard analysis, Bulletin American Mathematical Society 83(6), 1165-1198.
13. Ostroff, J. (1989), "Temporal Logic for Real-Time Systems," Advanced Software Development Series (J. Kramer, Ed.), Res. Stud. Press, England.
14. Robinson, A. (1961), Nonstandard analysis, Proc. Roy. Acad. Amsterdam Ser. A 64, 432-440.
15. Robinson, A. (1996), "Non-standard Analysis," Princeton Univ. Press, Princeton, NJ.
16. Schöf, S., and Sampels, M. (1996), Fairness and instant reactions in distributed simulation, in "Proc. of the 8th European Simulation Symposium (ESS'96)," Vol. 1, pp. 96-100.