Shamim Ripon

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Shamim Ripon, Michael J. Butler: PVS Embedding of cCSP Semantic Models and Their Relationship. Electr. Notes Theor. Comput. Sci. 250(2): 103-118 (2009)

2005

1 Michael J. Butler, Shamim Ripon: Executable Semantics for Compensating CSP. EPEW/WS-FM 2005: 243-256

	2009
2		Shamim Ripon, Michael J. Butler: PVS Embedding of cCSP Semantic Models and Their Relationship. Electr. Notes Theor. Comput. Sci. 250(2): 103-118 (2009)
	2005
1		Michael J. Butler, Shamim Ripon: Executable Semantics for Compensating CSP. EPEW/WS-FM 2005: 243-256

Coauthor Index