Using the π-calculus for formalizing workflow patterns

Saved in:
Bibliographic Details
Published inLecture notes in computer science pp. 153 - 168
Main Authors PUHLMANN, Frank, WESKE, Mathias
Format Conference Proceeding
LanguageEnglish
Published Berlin Springer 2005
Subjects
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Information systems. Data bases
Memory organisation. Data processing
Software
pi calculus
Process algebra
Groupware
Behavioral analysis
Formal specification
Mobility
Workflow
Firm management
Integrated management
Mobile computing
Formal semantics
Online AccessGet full text

Cover

More Information
ISBN:3540282386
9783540282389
ISSN:0302-9743
1611-3349
DOI:10.1007/11538394_11;TIB-RN2835(3649)