Work

Soundness Verification of Business Processes Specified in the Pi-Calculus

Year: 2007

Type: conference-paper

Source: Springer eBooks

DOI: 10.1007/978-3-540-76848-7_3

Author: Frank Puhlmann

Institutions: Hasso Plattner Institute, University of Potsdam

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

Open Access status: closed

OpenAlex ID: W1548365164

FWCI: 4.916

Cites: 34

Cited by: 48

Related to: 10