Matches in SemOpenAlex for { <https://semopenalex.org/work/W1485288488> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1485288488 endingPage "229" @default.
- W1485288488 startingPage "212" @default.
- W1485288488 abstract "Hierarchical predicate transition nets have recently been introduced as a visual formalism for specifying complex reactive systems. They extend predicate transition nets with hierarchical structures so that large systems can be specified and understood stepwisely, and thus are more suitable for real-world applications. In this paper, we provide a formal syntax and an algebraic semantics for hierarchical predicate transition nets, which establish the theory of hierarchical predicate transition nets for precise specification and formal reasoning." @default.
- W1485288488 created "2016-06-24" @default.
- W1485288488 creator A5009723525 @default.
- W1485288488 date "1996-01-01" @default.
- W1485288488 modified "2023-10-18" @default.
- W1485288488 title "A formal definition of hierarchical predicate transition nets" @default.
- W1485288488 cites W1514052250 @default.
- W1485288488 cites W1570372094 @default.
- W1485288488 cites W1572660965 @default.
- W1485288488 cites W1603788080 @default.
- W1485288488 cites W1985660524 @default.
- W1485288488 cites W1985777976 @default.
- W1485288488 cites W1997422892 @default.
- W1485288488 cites W2010403270 @default.
- W1485288488 cites W2033983519 @default.
- W1485288488 cites W2052423355 @default.
- W1485288488 cites W2064650227 @default.
- W1485288488 cites W2065353132 @default.
- W1485288488 cites W2075512827 @default.
- W1485288488 cites W2102905421 @default.
- W1485288488 cites W2154529375 @default.
- W1485288488 cites W3021908873 @default.
- W1485288488 cites W4231119717 @default.
- W1485288488 cites W4300128858 @default.
- W1485288488 doi "https://doi.org/10.1007/3-540-61363-3_12" @default.
- W1485288488 hasPublicationYear "1996" @default.
- W1485288488 type Work @default.
- W1485288488 sameAs 1485288488 @default.
- W1485288488 citedByCount "58" @default.
- W1485288488 countsByYear W14852884882012 @default.
- W1485288488 countsByYear W14852884882013 @default.
- W1485288488 countsByYear W14852884882014 @default.
- W1485288488 countsByYear W14852884882015 @default.
- W1485288488 countsByYear W14852884882016 @default.
- W1485288488 countsByYear W14852884882017 @default.
- W1485288488 countsByYear W14852884882018 @default.
- W1485288488 countsByYear W14852884882019 @default.
- W1485288488 crossrefType "book-chapter" @default.
- W1485288488 hasAuthorship W1485288488A5009723525 @default.
- W1485288488 hasConcept C124527596 @default.
- W1485288488 hasConcept C140146324 @default.
- W1485288488 hasConcept C142362112 @default.
- W1485288488 hasConcept C153349607 @default.
- W1485288488 hasConcept C154945302 @default.
- W1485288488 hasConcept C171553443 @default.
- W1485288488 hasConcept C199360897 @default.
- W1485288488 hasConcept C2775924081 @default.
- W1485288488 hasConcept C2779167558 @default.
- W1485288488 hasConcept C41008148 @default.
- W1485288488 hasConcept C53893814 @default.
- W1485288488 hasConcept C558565934 @default.
- W1485288488 hasConcept C73301696 @default.
- W1485288488 hasConcept C80444323 @default.
- W1485288488 hasConceptScore W1485288488C124527596 @default.
- W1485288488 hasConceptScore W1485288488C140146324 @default.
- W1485288488 hasConceptScore W1485288488C142362112 @default.
- W1485288488 hasConceptScore W1485288488C153349607 @default.
- W1485288488 hasConceptScore W1485288488C154945302 @default.
- W1485288488 hasConceptScore W1485288488C171553443 @default.
- W1485288488 hasConceptScore W1485288488C199360897 @default.
- W1485288488 hasConceptScore W1485288488C2775924081 @default.
- W1485288488 hasConceptScore W1485288488C2779167558 @default.
- W1485288488 hasConceptScore W1485288488C41008148 @default.
- W1485288488 hasConceptScore W1485288488C53893814 @default.
- W1485288488 hasConceptScore W1485288488C558565934 @default.
- W1485288488 hasConceptScore W1485288488C73301696 @default.
- W1485288488 hasConceptScore W1485288488C80444323 @default.
- W1485288488 hasLocation W14852884881 @default.
- W1485288488 hasOpenAccess W1485288488 @default.
- W1485288488 hasPrimaryLocation W14852884881 @default.
- W1485288488 hasRelatedWork W133022004 @default.
- W1485288488 hasRelatedWork W1529617460 @default.
- W1485288488 hasRelatedWork W1603666985 @default.
- W1485288488 hasRelatedWork W1612955822 @default.
- W1485288488 hasRelatedWork W1989611422 @default.
- W1485288488 hasRelatedWork W2043000126 @default.
- W1485288488 hasRelatedWork W2098765445 @default.
- W1485288488 hasRelatedWork W2527125025 @default.
- W1485288488 hasRelatedWork W184886323 @default.
- W1485288488 hasRelatedWork W2611182424 @default.
- W1485288488 isParatext "false" @default.
- W1485288488 isRetracted "false" @default.
- W1485288488 magId "1485288488" @default.
- W1485288488 workType "book-chapter" @default.