- Undecidability of Bisimilarity by Defender's Forcing Petr Jančar Jivří Srba Tue 25 June 2019
- On the Verification Problem of Nonregular Properties for Nonregular Processes Ahmed Bouajjani Rachid Echahed Peter Habermehl Mon 22 July 2013
- Fondamenti della teoria della concorrenza: il CCS Daniele Gorla Wed 27 March 2013
- Process Algebra Rance Cleaveland Scott A. Smolka Wed 27 March 2013
- A Brief History of Process Algebra Jos Baeten Sat 02 March 2013
- A timed model for communicating sequential processes G. M. Reed A. W. Roscoe Wed 04 July 2012
- A Theory of Communicating Sequential Processes S. D. Brookes C. A. R. Hoare A. W. Roscoe Fri 20 April 2012
- CSP is a retract of CCS Jifeng He Tony Hoare Fri 20 April 2012
- Communicating sequential processes C. A. R. Hoare Thu 19 April 2012
Library Size: 13G (9 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
