Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566990520> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1566990520 endingPage "624" @default.
- W1566990520 startingPage "618" @default.
- W1566990520 abstract "The great honour of introducing the Chapter on Software Verification for the Festschrift dedicated to Ugo Montanari brings to mind a very personal memory. I was a young Ph.D. student and I was discussing something with Ugo, or better I was learning something from Ugo about how one could apply the abstract notions of category theory in order to understand better the problems raised from concurrency and synchronization. At a certain point Ugo wanted to interrupt our talk because a seminar by Jaco de Bakker on the denotational semantics of concurrency by metric spaces was about to begin. I was very familiar with the works of de Bakker having studied them for my Laurea thesis under Ugo’s supervision. Following my request to continue our discussion, Ugo replied, “Let’s go to the seminar. We can always learn something listening to de Bakker”.KeywordsLabel Transition SystemCryptographic ProtocolLeak DetectionDenotational SemanticMobile ProcessThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1566990520 created "2016-06-24" @default.
- W1566990520 creator A5026348666 @default.
- W1566990520 date "2008-01-01" @default.
- W1566990520 modified "2023-09-26" @default.
- W1566990520 title "Ugo Montanari and Software Verification" @default.
- W1566990520 cites W1505155144 @default.
- W1566990520 cites W1513322016 @default.
- W1566990520 cites W1523110583 @default.
- W1566990520 cites W1547562281 @default.
- W1566990520 cites W1562901937 @default.
- W1566990520 cites W1582798925 @default.
- W1566990520 cites W1606143923 @default.
- W1566990520 cites W1839078145 @default.
- W1566990520 cites W1940060540 @default.
- W1566990520 cites W1971107784 @default.
- W1566990520 cites W1975082667 @default.
- W1566990520 cites W2010455780 @default.
- W1566990520 cites W2070368511 @default.
- W1566990520 cites W2077397316 @default.
- W1566990520 cites W2098857464 @default.
- W1566990520 cites W2112885497 @default.
- W1566990520 cites W2128932399 @default.
- W1566990520 cites W2129880514 @default.
- W1566990520 cites W2139148957 @default.
- W1566990520 cites W2170486827 @default.
- W1566990520 cites W2180471721 @default.
- W1566990520 cites W4296471858 @default.
- W1566990520 doi "https://doi.org/10.1007/978-3-540-68679-8_38" @default.
- W1566990520 hasPublicationYear "2008" @default.
- W1566990520 type Work @default.
- W1566990520 sameAs 1566990520 @default.
- W1566990520 citedByCount "0" @default.
- W1566990520 crossrefType "book-chapter" @default.
- W1566990520 hasAuthorship W1566990520A5026348666 @default.
- W1566990520 hasConcept C15744967 @default.
- W1566990520 hasConcept C177291462 @default.
- W1566990520 hasConcept C193702766 @default.
- W1566990520 hasConcept C199360897 @default.
- W1566990520 hasConcept C2777904410 @default.
- W1566990520 hasConcept C41008148 @default.
- W1566990520 hasConcept C41661131 @default.
- W1566990520 hasConcept C46312422 @default.
- W1566990520 hasConcept C761482 @default.
- W1566990520 hasConcept C76155785 @default.
- W1566990520 hasConceptScore W1566990520C15744967 @default.
- W1566990520 hasConceptScore W1566990520C177291462 @default.
- W1566990520 hasConceptScore W1566990520C193702766 @default.
- W1566990520 hasConceptScore W1566990520C199360897 @default.
- W1566990520 hasConceptScore W1566990520C2777904410 @default.
- W1566990520 hasConceptScore W1566990520C41008148 @default.
- W1566990520 hasConceptScore W1566990520C41661131 @default.
- W1566990520 hasConceptScore W1566990520C46312422 @default.
- W1566990520 hasConceptScore W1566990520C761482 @default.
- W1566990520 hasConceptScore W1566990520C76155785 @default.
- W1566990520 hasLocation W15669905201 @default.
- W1566990520 hasOpenAccess W1566990520 @default.
- W1566990520 hasPrimaryLocation W15669905201 @default.
- W1566990520 hasRelatedWork W1557800075 @default.
- W1566990520 hasRelatedWork W1853387635 @default.
- W1566990520 hasRelatedWork W201088255 @default.
- W1566990520 hasRelatedWork W2034335616 @default.
- W1566990520 hasRelatedWork W2083338789 @default.
- W1566990520 hasRelatedWork W2151898527 @default.
- W1566990520 hasRelatedWork W2288522156 @default.
- W1566990520 hasRelatedWork W2808750505 @default.
- W1566990520 hasRelatedWork W3150606594 @default.
- W1566990520 hasRelatedWork W4233783224 @default.
- W1566990520 isParatext "false" @default.
- W1566990520 isRetracted "false" @default.
- W1566990520 magId "1566990520" @default.
- W1566990520 workType "book-chapter" @default.