Back to Results
First PageMeta Content
M2 / Communicating sequential processes / Money / Money supply / M1 / Process calculus / Calculus of communicating systems / Μ operator / Process calculi / Economics / Macroeconomics


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

Document Date: 2006-10-10 04:27:39


Open Document

File Size: 116,93 KB

Share Result on Facebook
UPDATE