A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics.

Karl Lermer A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics. 152-171 1999 conf/arts/1999 ARTS http://link.springer.de/link/service/series/0558/bibs/1601/16010152.htm db/conf/arts/arts1999.html#Lermer99