Matches in SemOpenAlex for { <https://semopenalex.org/work/W31892071> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W31892071 abstract "A labelled transition system is presented for Milner's πe-calculus. This system is related to the reduction system for the calculus presented by Bellin and Scott. Also a reduction system and a labelled transition system for πeI-calculus are given and their correspondence is studied. This calculus is a subcalculus of πe-calculus in the way Sangiorgi's πI-calculus is a subcalculus of ordinary π-calculus." @default.
- W31892071 created "2016-06-24" @default.
- W31892071 creator A5014089511 @default.
- W31892071 date "1997-01-01" @default.
- W31892071 modified "2023-09-26" @default.
- W31892071 title "A labelled transition system for πε-calculus" @default.
- W31892071 cites W2001299902 @default.
- W31892071 cites W2004063149 @default.
- W31892071 cites W2010649834 @default.
- W31892071 cites W2025846009 @default.
- W31892071 cites W2128932399 @default.
- W31892071 cites W2153411278 @default.
- W31892071 cites W2170626879 @default.
- W31892071 cites W4232027917 @default.
- W31892071 doi "https://doi.org/10.1007/bfb0030607" @default.
- W31892071 hasPublicationYear "1997" @default.
- W31892071 type Work @default.
- W31892071 sameAs 31892071 @default.
- W31892071 citedByCount "1" @default.
- W31892071 crossrefType "book-chapter" @default.
- W31892071 hasAuthorship W31892071A5014089511 @default.
- W31892071 hasBestOaLocation W318920711 @default.
- W31892071 hasConcept C11413529 @default.
- W31892071 hasConcept C117312493 @default.
- W31892071 hasConcept C127413603 @default.
- W31892071 hasConcept C133731056 @default.
- W31892071 hasConcept C154945302 @default.
- W31892071 hasConcept C161771561 @default.
- W31892071 hasConcept C199343813 @default.
- W31892071 hasConcept C199360897 @default.
- W31892071 hasConcept C22497172 @default.
- W31892071 hasConcept C2777686260 @default.
- W31892071 hasConcept C2779167558 @default.
- W31892071 hasConcept C33695381 @default.
- W31892071 hasConcept C41008148 @default.
- W31892071 hasConcept C62073222 @default.
- W31892071 hasConcept C71924100 @default.
- W31892071 hasConcept C80444323 @default.
- W31892071 hasConceptScore W31892071C11413529 @default.
- W31892071 hasConceptScore W31892071C117312493 @default.
- W31892071 hasConceptScore W31892071C127413603 @default.
- W31892071 hasConceptScore W31892071C133731056 @default.
- W31892071 hasConceptScore W31892071C154945302 @default.
- W31892071 hasConceptScore W31892071C161771561 @default.
- W31892071 hasConceptScore W31892071C199343813 @default.
- W31892071 hasConceptScore W31892071C199360897 @default.
- W31892071 hasConceptScore W31892071C22497172 @default.
- W31892071 hasConceptScore W31892071C2777686260 @default.
- W31892071 hasConceptScore W31892071C2779167558 @default.
- W31892071 hasConceptScore W31892071C33695381 @default.
- W31892071 hasConceptScore W31892071C41008148 @default.
- W31892071 hasConceptScore W31892071C62073222 @default.
- W31892071 hasConceptScore W31892071C71924100 @default.
- W31892071 hasConceptScore W31892071C80444323 @default.
- W31892071 hasLocation W318920711 @default.
- W31892071 hasOpenAccess W31892071 @default.
- W31892071 hasPrimaryLocation W318920711 @default.
- W31892071 hasRelatedWork W115354277 @default.
- W31892071 hasRelatedWork W133524621 @default.
- W31892071 hasRelatedWork W1487717359 @default.
- W31892071 hasRelatedWork W1517222497 @default.
- W31892071 hasRelatedWork W1573313186 @default.
- W31892071 hasRelatedWork W1583316297 @default.
- W31892071 hasRelatedWork W1585855583 @default.
- W31892071 hasRelatedWork W1999005577 @default.
- W31892071 hasRelatedWork W2035382252 @default.
- W31892071 hasRelatedWork W2073983920 @default.
- W31892071 hasRelatedWork W2118420900 @default.
- W31892071 hasRelatedWork W2121526020 @default.
- W31892071 hasRelatedWork W2124181097 @default.
- W31892071 hasRelatedWork W2299528613 @default.
- W31892071 hasRelatedWork W236003875 @default.
- W31892071 hasRelatedWork W2469137997 @default.
- W31892071 hasRelatedWork W2475428716 @default.
- W31892071 hasRelatedWork W2946916337 @default.
- W31892071 hasRelatedWork W3033625751 @default.
- W31892071 hasRelatedWork W182566575 @default.
- W31892071 isParatext "false" @default.
- W31892071 isRetracted "false" @default.
- W31892071 magId "31892071" @default.
- W31892071 workType "book-chapter" @default.