Process algebra: specification and verification in bisimulation semantics

DSpace/Manakin Repository

 
 
See more statistics about this item