SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Soundness Verification of Business Processes Specified in the Pi-Calculus · Study

WorkSoundness Verification of Business Processes Specified in the Pi-Calculus

Frank Puhlmann2007

Work2007

Soundness Verification of Business Processes Specified in the Pi-Calculus

48 citations·0/0 files stored·Springer eBooks

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Logic, programming, and type systems Service-Oriented Architecture and Web Services

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 48 citations exist upstream.

References

2003Workflow Patterns 2003Business Process Management: A Survey 1997Verification of workflow nets 2002Workflow Management 2008Business Process Modeling Notation 2005Using the π-Calculus for Formalizing Workflow Patterns 2001Relaxed Soundness of Business Processes 2006Investigations on Soundness Regarding Lazy Activities

Cited by

2020Correctness checking for BPMN collaborations with sub-processes 2017BProVe: A formal verification framework for business process models 2010Business process modeling with continuous validation 2016An Operational Semantics of BPMN Collaboration

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2006Investigations on Soundness Regarding Lazy Activitiesother · 6 shared references 2004Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Managementother · 4 shared references 2009Business process management (BPM) standards: a surveyarticle · 3 shared references 2007A Survey of Comparative Business Process Modeling Approachesother · 3 shared references 2006Translating unstructured workflow processes to readable BPEL: Theory and implementationarticle · 3 shared references 2010Visually specifying compliance rules and explaining their violations for business processesarticle · 3 shared references

Details

Year2007

Typeother

Published2007-11-20

VenueSpringer eBooks

Languageen

Citations48

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-540-76848-7_3

openalex_workW1548365164

Links

Imported from OpenAlex (CC0) — nothing here is generated.