Matches in SemOpenAlex for { <https://semopenalex.org/work/W280813817> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W280813817 abstract "In [1] we presented the logic P=PML, a formalism suitable for the speci cation and construction of Real{Time systems. The main algebraic result, namely, the interpretability of P=PML into an equational calculus based on !-closure fork algebras (which allows to reason about Real{Time systems in an equational calculus) was stated but not proved because of the lack of space. In this paper we present a detailed proof of the interpretability theorem, as well as the proof of the representation theorem for !-closure fork algebras which provides a very natural semantics based on binary relations for the equational calculus." @default.
- W280813817 created "2016-06-24" @default.
- W280813817 creator A5035707440 @default.
- W280813817 creator A5053804115 @default.
- W280813817 date "1999-10-01" @default.
- W280813817 modified "2023-09-27" @default.
- W280813817 title "A proof of the interpretability of P/PML in a relational setting" @default.
- W280813817 cites W1502438565 @default.
- W280813817 cites W1536405166 @default.
- W280813817 cites W1971743535 @default.
- W280813817 cites W2018944629 @default.
- W280813817 cites W2062980567 @default.
- W280813817 cites W2072970750 @default.
- W280813817 cites W2110621571 @default.
- W280813817 cites W3145287507 @default.
- W280813817 cites W80356034 @default.
- W280813817 hasPublicationYear "1999" @default.
- W280813817 type Work @default.
- W280813817 sameAs 280813817 @default.
- W280813817 citedByCount "0" @default.
- W280813817 crossrefType "journal-article" @default.
- W280813817 hasAuthorship W280813817A5035707440 @default.
- W280813817 hasAuthorship W280813817A5053804115 @default.
- W280813817 hasConcept C118615104 @default.
- W280813817 hasConcept C134306372 @default.
- W280813817 hasConcept C136119220 @default.
- W280813817 hasConcept C142362112 @default.
- W280813817 hasConcept C146834321 @default.
- W280813817 hasConcept C153349607 @default.
- W280813817 hasConcept C154945302 @default.
- W280813817 hasConcept C162324750 @default.
- W280813817 hasConcept C199343813 @default.
- W280813817 hasConcept C202444582 @default.
- W280813817 hasConcept C2777686260 @default.
- W280813817 hasConcept C2779729104 @default.
- W280813817 hasConcept C2781067378 @default.
- W280813817 hasConcept C33923547 @default.
- W280813817 hasConcept C34447519 @default.
- W280813817 hasConcept C41008148 @default.
- W280813817 hasConcept C558565934 @default.
- W280813817 hasConcept C71924100 @default.
- W280813817 hasConcept C73301696 @default.
- W280813817 hasConcept C9376300 @default.
- W280813817 hasConceptScore W280813817C118615104 @default.
- W280813817 hasConceptScore W280813817C134306372 @default.
- W280813817 hasConceptScore W280813817C136119220 @default.
- W280813817 hasConceptScore W280813817C142362112 @default.
- W280813817 hasConceptScore W280813817C146834321 @default.
- W280813817 hasConceptScore W280813817C153349607 @default.
- W280813817 hasConceptScore W280813817C154945302 @default.
- W280813817 hasConceptScore W280813817C162324750 @default.
- W280813817 hasConceptScore W280813817C199343813 @default.
- W280813817 hasConceptScore W280813817C202444582 @default.
- W280813817 hasConceptScore W280813817C2777686260 @default.
- W280813817 hasConceptScore W280813817C2779729104 @default.
- W280813817 hasConceptScore W280813817C2781067378 @default.
- W280813817 hasConceptScore W280813817C33923547 @default.
- W280813817 hasConceptScore W280813817C34447519 @default.
- W280813817 hasConceptScore W280813817C41008148 @default.
- W280813817 hasConceptScore W280813817C558565934 @default.
- W280813817 hasConceptScore W280813817C71924100 @default.
- W280813817 hasConceptScore W280813817C73301696 @default.
- W280813817 hasConceptScore W280813817C9376300 @default.
- W280813817 hasLocation W2808138171 @default.
- W280813817 hasOpenAccess W280813817 @default.
- W280813817 hasPrimaryLocation W2808138171 @default.
- W280813817 hasRelatedWork W1212590437 @default.
- W280813817 hasRelatedWork W1492640621 @default.
- W280813817 hasRelatedWork W1495252301 @default.
- W280813817 hasRelatedWork W1505254031 @default.
- W280813817 hasRelatedWork W1512882850 @default.
- W280813817 hasRelatedWork W1529173292 @default.
- W280813817 hasRelatedWork W1626042158 @default.
- W280813817 hasRelatedWork W1692052839 @default.
- W280813817 hasRelatedWork W182346379 @default.
- W280813817 hasRelatedWork W1834844307 @default.
- W280813817 hasRelatedWork W2048906114 @default.
- W280813817 hasRelatedWork W2745268854 @default.
- W280813817 hasRelatedWork W2753530402 @default.
- W280813817 hasRelatedWork W2955709606 @default.
- W280813817 hasRelatedWork W2963580724 @default.
- W280813817 hasRelatedWork W2964318228 @default.
- W280813817 hasRelatedWork W2996342526 @default.
- W280813817 hasRelatedWork W3036646263 @default.
- W280813817 hasRelatedWork W3173611724 @default.
- W280813817 hasRelatedWork W1679853627 @default.
- W280813817 isParatext "false" @default.
- W280813817 isRetracted "false" @default.
- W280813817 magId "280813817" @default.
- W280813817 workType "article" @default.