On Broadcast and Real Time in Process Calculi

In this thesis we investigate several questions in the field of process calculi related to Milner's CCS. We show relationships between broadcasting and the notion of pure synchrony; we investigate and apply a real-time version of CCS; and we discuss sort computation and translation of static process expressions. The thesis consists of the following five self-contained parts, where the main contributions are found in the two first. In the broadcast calculus CBS, the traditional symmetric handshake synchronisation paradigm of most process calculi, has been replaced by non-symmetric unbuffered broadcast. Senders are active and autonomous, receivers are passive and controlled. The sending and reception of a broadcast is a synchronous atomic action. In the first part we give a translation from CBS into Milner's synchronous calculus SCCS, which demonstrates that broadcasting can be encoded in SCCS, and that CBS is not primitive. The second part presents decidability results for a regular su..