Abstract
In this paper we prove that for timed algebras may testing is much stronger than it could be expected. More exactly, we prove that the may testing semantics is equivalent to the must testing semantics for a rather typical discrete timed process algebra when considering divergence-free processes. This is so, because for any adequate test we can define a dual one in such a way that a process passes the original test in the must sense if and only if it does not pass the dual one in the may sense. It is well known that in the untimed case by may testing we can (partially) know the possible behaviors of a process after the instant at which it diverges, which is not possible under must semantics. This is also the case in the timed case.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Bryans, J. Davies, and S. Schneider. Towards a denotational semantics for ET-LOTOS. In CONCUR’ 95, volume 962 of Lecture Notes in Computer Science, pages 249–263. Springer-Verlag, 1995.
R. De Nicola and M. C. B. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83–133, 1984.
J. F. Groote. Transition system specifications with negative premises. Theo retical Computer Science, 118:263–299, 1993.
M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988.
M. Hennessy and T. Regan. A process algebra for timed systems. Information and Computation, 117:221–239, 1995.
Lars Jenner. Further studies on time testing of concurrent systems. Technical report, Institut für Informatik, Universitat Augsburg, 1998.
L. F. Llana-Díaz, D. de Frutos, and M. Núñnez. Testing semantics for urgent process algebras. In Third AMAST Workshop in Real Time Programming, pages 33–46, 1996.
L. F. Llana-Díaz. Jugando con el Tiempo. PhD thesis, Universidad Complutense de Madrid, 1996. Available in http://dalila.sip.ucm.es/miembros/luis/ps/tesis.ps.gz.
G. M. Reed. A Uniform Mathematical Theory for Real-Time Distributed Computing. PhD thesis, Oxford University, 1988.
G. M. Reed and A. W. Roscoe. A timed model for communicating sequential processes. Theoretical Computer Science, 58:249–261, 1988.
S. Schneider. An operational semantics for timed CSP. Information and Computation, 116(2):193–213, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Llana Díaz, L.F., de Frutos Escrig, D. (1999). Relating May and Must Testing Semantics for Discrete Timed Process Algebras. In: Thiagarajan, P.S., Yap, R. (eds) Advances in Computing Science — ASIAN’99. ASIAN 1999. Lecture Notes in Computer Science, vol 1742. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46674-6_8
Download citation
DOI: https://doi.org/10.1007/3-540-46674-6_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66856-5
Online ISBN: 978-3-540-46674-1
eBook Packages: Springer Book Archive