Bergstraand Bethke. Polarized Process Algebra with Reactive Composition. Elsevier BV, 2005, doi:10.1016/j.tcs.2005.06.014.