MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  process algebra specifications

Download:
Download as a PDF | Download as a PS
by B. Diertens, Bob Diertens, Bob Diertens, Bob Diertens
http://ftp.wins.uva.nl/pub/programming-research/reports/2000/P2003.ps.gz
Add To MetaCart

Abstract:

ABP = hide(I, encaps(H,

Citations

No citations identified.

View or Download | Add to My Collection | Correct Errors