If you made any changes in Pure these will be visible here soon.

Research Output 1991 2020

108 Downloads (Pure)

Concurrency Verification: Introduction to Compositional and Noncompositional Methods

de Roever, W-P., de Boer, F., Hanneman, U., Hooman, J., Lakhneche, Y., Poel, M. & Zwiers, J., 2001, Cambridge, UK: Cambridge University Press. 776 p. (Cambridge Tracts in Theoretical Computer Science; vol. 54)

Research output: Book/ReportBookAcademic

Open Access
12 Downloads (Pure)

Verifying Sequentially Consistent Memory

Brinksma, E., Davies, J., Gerth, R., Graf, S., Janssen, W., Jonsson, B., Katz, S., Lowe, G., Poel, M., Pnueli, A., Rump, C. & Zwiers, J., 1994, Eindhoven: Technische Universiteit Eindhoven, Wiskunde & Informatica. 160 p. (Computing Science Report; no. 94/44)

Research output: Book/ReportBookProfessional

Open Access
Data storage equipment
Memory architecture
Network protocols