Matches in SemOpenAlex for { <https://semopenalex.org/work/W2619106052> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2619106052 abstract "When dealing with service oriented computations the dependencies among the various distributed activities may be complex and difficult to represent statically. Recently Event Structures where the causality may change dynamically have been introduced and have been related with many other kind of Event Structures (with a particular focus on expressivity). In this paper we relate them to a kind of (labeled) Petri net which turns out to cover these new Event Structures. This relationship empowers the usage of all the available verification tools based on Petri nets, giving practical and usable means for the verification of the complex and distributed system whose behavior is modeled by this kind of event structures." @default.
- W2619106052 created "2017-06-05" @default.
- W2619106052 creator A5032075589 @default.
- W2619106052 creator A5074896391 @default.
- W2619106052 date "2017-04-03" @default.
- W2619106052 modified "2023-09-27" @default.
- W2619106052 title "Petri nets and dynamic causality for service-oriented computations" @default.
- W2619106052 cites W1580316006 @default.
- W2619106052 cites W1970326465 @default.
- W2619106052 cites W1991052229 @default.
- W2619106052 cites W1996072048 @default.
- W2619106052 cites W1997422892 @default.
- W2619106052 cites W2024955813 @default.
- W2619106052 cites W2040633651 @default.
- W2619106052 cites W2058581099 @default.
- W2619106052 cites W2121372686 @default.
- W2619106052 cites W2912895170 @default.
- W2619106052 cites W2913376619 @default.
- W2619106052 cites W2963969734 @default.
- W2619106052 cites W1582475627 @default.
- W2619106052 doi "https://doi.org/10.1145/3019612.3019806" @default.
- W2619106052 hasPublicationYear "2017" @default.
- W2619106052 type Work @default.
- W2619106052 sameAs 2619106052 @default.
- W2619106052 citedByCount "8" @default.
- W2619106052 countsByYear W26191060522018 @default.
- W2619106052 countsByYear W26191060522019 @default.
- W2619106052 countsByYear W26191060522020 @default.
- W2619106052 countsByYear W26191060522021 @default.
- W2619106052 crossrefType "proceedings-article" @default.
- W2619106052 hasAuthorship W2619106052A5032075589 @default.
- W2619106052 hasAuthorship W2619106052A5074896391 @default.
- W2619106052 hasConcept C115903868 @default.
- W2619106052 hasConcept C120314980 @default.
- W2619106052 hasConcept C121332964 @default.
- W2619106052 hasConcept C136155141 @default.
- W2619106052 hasConcept C144133560 @default.
- W2619106052 hasConcept C162853370 @default.
- W2619106052 hasConcept C197551870 @default.
- W2619106052 hasConcept C199360897 @default.
- W2619106052 hasConcept C2780378061 @default.
- W2619106052 hasConcept C38677869 @default.
- W2619106052 hasConcept C41008148 @default.
- W2619106052 hasConcept C45374587 @default.
- W2619106052 hasConcept C62520636 @default.
- W2619106052 hasConcept C64357122 @default.
- W2619106052 hasConceptScore W2619106052C115903868 @default.
- W2619106052 hasConceptScore W2619106052C120314980 @default.
- W2619106052 hasConceptScore W2619106052C121332964 @default.
- W2619106052 hasConceptScore W2619106052C136155141 @default.
- W2619106052 hasConceptScore W2619106052C144133560 @default.
- W2619106052 hasConceptScore W2619106052C162853370 @default.
- W2619106052 hasConceptScore W2619106052C197551870 @default.
- W2619106052 hasConceptScore W2619106052C199360897 @default.
- W2619106052 hasConceptScore W2619106052C2780378061 @default.
- W2619106052 hasConceptScore W2619106052C38677869 @default.
- W2619106052 hasConceptScore W2619106052C41008148 @default.
- W2619106052 hasConceptScore W2619106052C45374587 @default.
- W2619106052 hasConceptScore W2619106052C62520636 @default.
- W2619106052 hasConceptScore W2619106052C64357122 @default.
- W2619106052 hasLocation W26191060521 @default.
- W2619106052 hasOpenAccess W2619106052 @default.
- W2619106052 hasPrimaryLocation W26191060521 @default.
- W2619106052 hasRelatedWork W1497924817 @default.
- W2619106052 hasRelatedWork W1883258692 @default.
- W2619106052 hasRelatedWork W1937779808 @default.
- W2619106052 hasRelatedWork W2101878283 @default.
- W2619106052 hasRelatedWork W2167571163 @default.
- W2619106052 hasRelatedWork W2168615635 @default.
- W2619106052 hasRelatedWork W2274714293 @default.
- W2619106052 hasRelatedWork W2389176218 @default.
- W2619106052 hasRelatedWork W2392026108 @default.
- W2619106052 hasRelatedWork W228814028 @default.
- W2619106052 isParatext "false" @default.
- W2619106052 isRetracted "false" @default.
- W2619106052 magId "2619106052" @default.
- W2619106052 workType "article" @default.