================================================================================ P9319 J.A. Bergstra, I. Bethke & A. Ponse "Process algebra with combinators" We introduce typed combinatory process algebra, a system combining process algebra with types and combinators. We describe its syntax and semantics, and by way of example, verify within this framework the Simple Alternating Bit Protocol. TO APPEAR IN: @inproceedings{P9319, author = {J.A. Bergstra and I. Bethke and A. Ponse}, title = {Process algebra with combinators}, pages = {3}, booktitle = {proceedings CSL'93}, place = {Swansea}, year = {1993}, editor = {}, series = {LNCS}, volume = {}, publisher = {Springer} }