Krishnan, P.2009-10-192009-10-191995Krishnan, P. (1995) A Calculus Based on Absence of Actions..http://hdl.handle.net/10092/2997TR-COSC 04/95In this article we present a process algebra where the behaviour can be specified when certain actions cannot be exhibited. This is useful in specifying time outs, interrupts etc. We present a few properties which form the basis for a sound and complete axiomatisation of a bisimulation equivalence relation. A comparison with other approaches is presented.enReportsFields of Research::230000 Mathematical Sciences::230100 Mathematics::230103 Rings and algebrasFields of Research::230000 Mathematical Sciences::230100 Mathematics::230110 Calculus of variations and control theoryFields of Research::280000 Information, Computing and Communication Sciences::280400 Computation Theory and Mathematics::280499 Computation theory and mathematics not elsewhere classified