caa a22 4500 467989885 CHVBK 20180323112541.0 cr unu---uuuuu 170328e19900401xx s 000 0 eng 10.1007/BF00289016 doi (NATIONALLICENCE)springer-10.1007/BF00289016 Hiding in stream semantics of uniform concurrency [Elektronische Daten] [J. Meyer, E. Olderog] Summary: This paper shows how to treat the hiding operator originally defined by Hoare et al. for finite observations of processes, in an order theoretic setting based on finite and infinite streams. The main technical contribution is the continuity proof of the hiding operator based on a mixture of topological and order-theoretic arguments. As an application of the continuity of hiding, syntactic transformation rules for its calculation are derived. This calculus utilizes a general fixed point transformation technique. Springer-Verlag, 1990 Meyer J. Department of Mathematics and Computer Science, Free University, Amsterdam aut Olderog E. Universität Oldenburg, FB Informatik, Ammerländer Heerstrasse 114-118, D-2900, Oldenburg, Federal Republic of Germany aut Acta Informatica Springer-Verlag 27/5(1990-04-01), 381-397 0001-5903 27:5<381 1990 27 236 https://doi.org/10.1007/BF00289016 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF00289016 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Meyer J. Department of Mathematics and Computer Science, Free University, Amsterdam aut NATIONALLICENCE 700 1- Olderog E. Universität Oldenburg, FB Informatik, Ammerländer Heerstrasse 114-118, D-2900, Oldenburg, Federal Republic of Germany aut NATIONALLICENCE 773 0- Acta Informatica Springer-Verlag 27/5(1990-04-01), 381-397 0001-5903 27:5<381 1990 27 236 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer