SZodixStudyAcademic Library

Dashboard Shelves Open access My library Inbox Notes Write Learn Alerts

More

Ask your library Notifications Quick cite Review

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

Investigations on Soundness Regarding Lazy Activities · Study

WorkInvestigations on Soundness Regarding Lazy Activities

Frank Puhlmann2006

Work2006

Investigations on Soundness Regarding Lazy Activities

Frank Puhlmann · Mathias Weske

73 citations·0/0 files stored·Lecture notes in computer science

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 Formal Methods in Verification

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 — 73 citations exist upstream.

References

2003Workflow Patterns 2003Business Process Management: A Survey 1997Verification of workflow nets 2002Workflow Management 2000Advanced Workflow Patterns 2013The P2P Approach to Interorganizational Workflows 2005Using the π-Calculus for Formalizing Workflow Patterns 2001The P2P Approach to Interorganizational Workflows

Cited by

2017Formal verification of complex business processes based on high-level Petri nets 2008Towards a Formal Framework for Reuse in Business Process Modeling 2009Process instantiation 2014Business Process Quality Management 2018A formal approach to modeling and verification of business process collaborations 2008Analyzing BPEL4Chor: Verification and Participant Synthesis 2007Soundness Verification of Business Processes Specified in the Pi-Calculus

Related works

Explore the map →

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

2007Soundness Verification of Business Processes Specified in the Pi-Calculusother · 6 shared references 2004Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Managementother · 4 shared references 2003Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?article · 4 shared references 2003Challenges in Business Process Management: Verification of business processes using Petri netsarticle · 4 shared references 2015Automating data exchange in process choreographiesarticle · 4 shared references 2006Why do we actually need the Pi-calculus for business process management?article · 4 shared references

Details

Year2006

Typeother

Published2006-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations73

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/11841760_11

openalex_workW1511762409

Links

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

2020Correctness checking for BPMN collaborations with sub-processes