Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (Q5206949): Difference between revisions

Latest revision as of 07:22, 21 July 2024

scientific article; zbMATH DE number 7145901

Language	Label	Description	Also known as
English	Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes	scientific article; zbMATH DE number 7145901

Statements

instance of

scholarly article

0 references

title

Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (English)

0 references

author

Søren Debois

0 references

Tijs Slaats

0 references

Thomas Troels Hildebrandt

0 references

published in

FM 2015: Formal Methods

0 references

publication date

19 December 2019

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-319-19249-9_10

0 references

cites work

Contextual Petri nets, asymmetric event structures, and processes

0 references

Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14--18, 2011. Proceedings

0 references

Adaptable processes

0 references

Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

0 references

Q5472886

0 references

CONCUR 2003 - Concurrency Theory

0 references

Nested Dynamic Condition Response Graphs

0 references

Contracts for cross-organizational workflows as timed dynamic condition response graphs

0 references

An event structure semantics for general Petri nets

0 references

Q4028627

0 references

Causal ambiguity and partial orders in event structures

0 references

Applications and Theory of Petri Nets 2004

0 references

Q5590814

0 references

Specification and verification of declarative open interaction models. A logic-based approach

0 references

On the nature of events: another perspective in concurrency

0 references

Enabling Flexibility in Process-Aware Information Systems

0 references

Identifiers

zbMATH Open document ID

1427.68188

0 references

DOI

10.1007/978-3-319-19249-9_10

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5206949

@@ Property / author @@
-Thomas Troels Hildebrandt
@@ Property / author: Thomas Troels Hildebrandt / rank @@
-Normal rank
@@ Property / author @@
+Thomas Troels Hildebrandt
@@ Property / author: Thomas Troels Hildebrandt / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-19249-9_10
+Normal rank
@@ Property / OpenAlex ID @@
+W1166377735
@@ Property / OpenAlex ID: W1166377735 / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual Petri nets, asymmetric event structures, and processes
+Normal rank
@@ Property / cites work @@
+Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14--18, 2011. Proceedings
+Normal rank
@@ Property / cites work @@
+Adaptable processes
@@ Property / cites work: Adaptable processes / rank @@
+Normal rank
@@ Property / cites work @@
+Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes
+Normal rank
@@ Property / cites work @@
+Q5472886
@@ Property / cites work: Q5472886 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Nested Dynamic Condition Response Graphs
@@ Property / cites work: Nested Dynamic Condition Response Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Contracts for cross-organizational workflows as timed dynamic condition response graphs
+Normal rank
@@ Property / cites work @@
+An event structure semantics for general Petri nets
+Normal rank
@@ Property / cites work @@
+Q4028627
@@ Property / cites work: Q4028627 / rank @@
+Normal rank
@@ Property / cites work @@
+Causal ambiguity and partial orders in event structures
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2004
@@ Property / cites work: Applications and Theory of Petri Nets 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and verification of declarative open interaction models. A logic-based approach
+Normal rank
@@ Property / cites work @@
+On the nature of events: another perspective in concurrency
+Normal rank
@@ Property / cites work @@
+Enabling Flexibility in Process-Aware Information Systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5206949