Matches in SemOpenAlex for { <https://semopenalex.org/work/W26551023> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W26551023 abstract "This paper provides an intuitive presentation of OBJSA nets, a specification language which combines a specific class of Petri nets, namely Superposed Automata nets, and the well-known algebraic specification language OBJ. The presentation is particularly addressed to people confident with algebraic specification techniques and focuses on the composition mechanism which allows the designer to obtain the OBJSA specification of a system by combining the specifications of the system components." @default.
- W26551023 created "2016-06-24" @default.
- W26551023 creator A5045639676 @default.
- W26551023 creator A5049233392 @default.
- W26551023 creator A5073163964 @default.
- W26551023 date "2000-01-01" @default.
- W26551023 modified "2023-09-26" @default.
- W26551023 title "OBJSA Nets: OBJ and Petri Nets for Specifying Concurrent Systems" @default.
- W26551023 cites W119917787 @default.
- W26551023 cites W2033983519 @default.
- W26551023 cites W2042977567 @default.
- W26551023 cites W2066318564 @default.
- W26551023 cites W2137865376 @default.
- W26551023 cites W2180165020 @default.
- W26551023 cites W2789298708 @default.
- W26551023 cites W3183435934 @default.
- W26551023 cites W4232836483 @default.
- W26551023 cites W4300128858 @default.
- W26551023 doi "https://doi.org/10.1007/978-1-4757-6541-0_7" @default.
- W26551023 hasPublicationYear "2000" @default.
- W26551023 type Work @default.
- W26551023 sameAs 26551023 @default.
- W26551023 citedByCount "0" @default.
- W26551023 crossrefType "book-chapter" @default.
- W26551023 hasAuthorship W26551023A5045639676 @default.
- W26551023 hasAuthorship W26551023A5049233392 @default.
- W26551023 hasAuthorship W26551023A5073163964 @default.
- W26551023 hasConcept C112505250 @default.
- W26551023 hasConcept C115903868 @default.
- W26551023 hasConcept C126838900 @default.
- W26551023 hasConcept C134306372 @default.
- W26551023 hasConcept C136155141 @default.
- W26551023 hasConcept C154945302 @default.
- W26551023 hasConcept C199360897 @default.
- W26551023 hasConcept C201677973 @default.
- W26551023 hasConcept C2777212361 @default.
- W26551023 hasConcept C2777601897 @default.
- W26551023 hasConcept C33923547 @default.
- W26551023 hasConcept C38677869 @default.
- W26551023 hasConcept C41008148 @default.
- W26551023 hasConcept C71924100 @default.
- W26551023 hasConcept C80444323 @default.
- W26551023 hasConcept C84651959 @default.
- W26551023 hasConcept C9376300 @default.
- W26551023 hasConceptScore W26551023C112505250 @default.
- W26551023 hasConceptScore W26551023C115903868 @default.
- W26551023 hasConceptScore W26551023C126838900 @default.
- W26551023 hasConceptScore W26551023C134306372 @default.
- W26551023 hasConceptScore W26551023C136155141 @default.
- W26551023 hasConceptScore W26551023C154945302 @default.
- W26551023 hasConceptScore W26551023C199360897 @default.
- W26551023 hasConceptScore W26551023C201677973 @default.
- W26551023 hasConceptScore W26551023C2777212361 @default.
- W26551023 hasConceptScore W26551023C2777601897 @default.
- W26551023 hasConceptScore W26551023C33923547 @default.
- W26551023 hasConceptScore W26551023C38677869 @default.
- W26551023 hasConceptScore W26551023C41008148 @default.
- W26551023 hasConceptScore W26551023C71924100 @default.
- W26551023 hasConceptScore W26551023C80444323 @default.
- W26551023 hasConceptScore W26551023C84651959 @default.
- W26551023 hasConceptScore W26551023C9376300 @default.
- W26551023 hasLocation W265510231 @default.
- W26551023 hasOpenAccess W26551023 @default.
- W26551023 hasPrimaryLocation W265510231 @default.
- W26551023 hasRelatedWork W1534294135 @default.
- W26551023 hasRelatedWork W1597145011 @default.
- W26551023 hasRelatedWork W1631250586 @default.
- W26551023 hasRelatedWork W1851893355 @default.
- W26551023 hasRelatedWork W2010403270 @default.
- W26551023 hasRelatedWork W2047508430 @default.
- W26551023 hasRelatedWork W2055787972 @default.
- W26551023 hasRelatedWork W2100848618 @default.
- W26551023 hasRelatedWork W2102936076 @default.
- W26551023 hasRelatedWork W2115080273 @default.
- W26551023 hasRelatedWork W2126061075 @default.
- W26551023 hasRelatedWork W2154696695 @default.
- W26551023 hasRelatedWork W2184681264 @default.
- W26551023 hasRelatedWork W2373066870 @default.
- W26551023 hasRelatedWork W2514957106 @default.
- W26551023 hasRelatedWork W2537310196 @default.
- W26551023 hasRelatedWork W3023220955 @default.
- W26551023 hasRelatedWork W54683905 @default.
- W26551023 hasRelatedWork W2022543244 @default.
- W26551023 hasRelatedWork W2142085709 @default.
- W26551023 isParatext "false" @default.
- W26551023 isRetracted "false" @default.
- W26551023 magId "26551023" @default.
- W26551023 workType "book-chapter" @default.