Ashvin Dsouza (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Bard Bloom, Allan Cheng, Ashvin Dsouza: Using a Protean Language to Enhance Expressiveness in Specification. IEEE Trans. Software Eng. 23(4): 224-234 (1997)

2 Ashvin Dsouza, Bard Bloom: Generating BDD Models for Process Algebra Terms. CAV 1995: 16-30

1 Ashvin Dsouza, Bard Bloom: On the Expressive Power of CCS. FSTTCS 1995: 309-323

Selection of 3 from 4 records - Ashvin Dsouza has 6 coauthors

3		Bard Bloom, Allan Cheng, Ashvin Dsouza: Using a Protean Language to Enhance Expressiveness in Specification. IEEE Trans. Software Eng. 23(4): 224-234 (1997)
2		Ashvin Dsouza, Bard Bloom: Generating BDD Models for Process Algebra Terms. CAV 1995: 16-30
1		Ashvin Dsouza, Bard Bloom: On the Expressive Power of CCS. FSTTCS 1995: 309-323