Robert Meolic, Tatjana Kapus: Notes on specifying systems in EST 1 Notes on specifying systems in EST Robert Meolic, Tatjana Kapus

First Page		Document Content
Date: 2013-12-04 04:28:46 Macroeconomics M2 Money supply Kapu CONFER Calculus of communicating systems Proceedings Economics Indian society Process calculi		Robert Meolic, Tatjana Kapus: Notes on specifying systems in EST 1 Notes on specifying systems in EST Robert Meolic, Tatjana Kapus Add to Reading List Source URL: research.meolic.com Download Document from Source Website File Size: 398,38 KB Share Document on Facebook

	Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages DocID: 1jpI3 - View Document
	Robert Meolic, Tatjana Kapus: Notes on specifying systems in EST 1 Notes on specifying systems in EST Robert Meolic, Tatjana Kapus DocID: 18Jjn - View Document
	Notes on specifying systems in EST Robert Meolic, Tatjana Kapus Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ulica 17, SI-2000 Maribor, Slovenia {meolic,kapus}@uni-mb.si DocID: 17BDD - View Document
	Robert Meolic, Tatjana Kapus: Notes on specifying systems in EST 1 DocID: 6jy7 - View Document
	Notes on specifying systems in EST Robert Meolic, Tatjana Kapus Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ulica 17, SI-2000 Maribor, Slovenia {meolic,kapus}@uni-mb.si DocID: 5xgA - View Document