Matches in SemOpenAlex for { <https://semopenalex.org/work/W1995463620> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W1995463620 endingPage "450" @default.
- W1995463620 startingPage "427" @default.
- W1995463620 abstract "This paper investigates the analysis of concurrent OO designs using a formal, executable specification technique called G-Net. After presenting an overview of the G-Net technique, we show how to use the G-Net notation to specify the concurrent OO systems. A formal transformation technique, which translates a G-Net specification to a semantically equivalent PrT-net, is presented. The resultant PrT-net can then be formally analyzed. The practical significance of this approach in fault-tolerant systems and distributed multimedia systems design is discussed." @default.
- W1995463620 created "2016-06-24" @default.
- W1995463620 creator A5011099047 @default.
- W1995463620 creator A5024050806 @default.
- W1995463620 creator A5025393445 @default.
- W1995463620 date "1994-12-01" @default.
- W1995463620 modified "2023-10-16" @default.
- W1995463620 title "EXECUTABLE SPECIFICATION AND ANALYSIS FOR THE DESIGN OF CONCURRENT OBJECT-ORIENTED SYSTEMS" @default.
- W1995463620 doi "https://doi.org/10.1142/s0218194094000210" @default.
- W1995463620 hasPublicationYear "1994" @default.
- W1995463620 type Work @default.
- W1995463620 sameAs 1995463620 @default.
- W1995463620 citedByCount "4" @default.
- W1995463620 crossrefType "journal-article" @default.
- W1995463620 hasAuthorship W1995463620A5011099047 @default.
- W1995463620 hasAuthorship W1995463620A5024050806 @default.
- W1995463620 hasAuthorship W1995463620A5025393445 @default.
- W1995463620 hasConcept C115903868 @default.
- W1995463620 hasConcept C160145156 @default.
- W1995463620 hasConcept C199360897 @default.
- W1995463620 hasConcept C41008148 @default.
- W1995463620 hasConcept C73752529 @default.
- W1995463620 hasConceptScore W1995463620C115903868 @default.
- W1995463620 hasConceptScore W1995463620C160145156 @default.
- W1995463620 hasConceptScore W1995463620C199360897 @default.
- W1995463620 hasConceptScore W1995463620C41008148 @default.
- W1995463620 hasConceptScore W1995463620C73752529 @default.
- W1995463620 hasIssue "04" @default.
- W1995463620 hasLocation W19954636201 @default.
- W1995463620 hasOpenAccess W1995463620 @default.
- W1995463620 hasPrimaryLocation W19954636201 @default.
- W1995463620 hasRelatedWork W1528692333 @default.
- W1995463620 hasRelatedWork W1601251910 @default.
- W1995463620 hasRelatedWork W1967499492 @default.
- W1995463620 hasRelatedWork W2099269319 @default.
- W1995463620 hasRelatedWork W2106047869 @default.
- W1995463620 hasRelatedWork W2487805831 @default.
- W1995463620 hasRelatedWork W2748872428 @default.
- W1995463620 hasRelatedWork W2974582348 @default.
- W1995463620 hasRelatedWork W2999589555 @default.
- W1995463620 hasRelatedWork W3032775210 @default.
- W1995463620 hasVolume "04" @default.
- W1995463620 isParatext "false" @default.
- W1995463620 isRetracted "false" @default.
- W1995463620 magId "1995463620" @default.
- W1995463620 workType "article" @default.