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

Company

Summation / Prentice-Hall International / Prefix / Restriction / EST / Composition / Communicating Systems / /

/

Facility

Hall International Series / !prepay.!start.!stop.?change.CUST STATION / Gas Station / Computer Science University of Maribor Smetanova / /

IndustryTerm

verification tools / over operator / /

OperatingSystem

FORK / /

Organization

Tatjana Kapus Faculty of Electrical Engineering / Electrical Engineering and Computer Science University of Maribor Smetanova / /

Person

Ai / Robert Meolic / Tatjana Kapus / /

PublishedMedium

Theoretical Computer Science / /

Technology

ISDN / /

URL

http /

SocialTag