Time abstraction in timed /spl mu/CRL a la regions

J.F. Groote, M.A. Reniers, Y.S. Usenko
2006 Proceedings 20th IEEE International Parallel & Distributed Processing Symposium  
doi:10.1109/ipdps.2006.1639423 dblp:conf/ipps/GrooteRU06 fatcat:4xlgyubb6razlmvwjobvqvy54e