Calculus of communicating systems - PDFSEARCH.IO - Document Search Engine

Calculus of communicating systems
Results: 6

#	Item
1	Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2011-01-28 15:15:59 Process calculi Calculus of communicating systems Bisimulation Robin Milner Alcatel-Lucent Q0 Transition system Communicating sequential processes Bell Labs Lucent
2	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 Language: English - Date: 2013-12-04 04:28:46 Macroeconomics M2 Money supply Kapu CONFER Calculus of communicating systems Proceedings Economics Indian society Process calculi
3	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 Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:45 M2 Communicating sequential processes Money Money supply M1 Process calculus Calculus of communicating systems Μ operator Process calculi Economics Macroeconomics
4	Robert Meolic, Tatjana Kapus: Notes on specifying systems in EST 1 Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2006-10-10 04:27:40 Macroeconomics M2 Money supply Kapu CONFER Calculus of communicating systems Proceedings Economics Indian society Process calculi
5	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 Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2006-10-10 04:27:39 M2 Communicating sequential processes Money Money supply M1 Process calculus Calculus of communicating systems Μ operator Process calculi Economics Macroeconomics
6	PDF Document Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2004-01-13 10:32:24 Formal methods Process calculus Denotational semantics Algebra of Communicating Processes Communicating sequential processes Algebraic structure Universal algebra Construction and Analysis of Distributed Processes Calculus of communicating systems Process calculi Theoretical computer science Mathematics