Matches in SemOpenAlex for { <https://semopenalex.org/work/W1573313186> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1573313186 abstract "A labelled transition system is presented for Milner''s pi_epsilon-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 pi_epsilonI-calculus are given and their correspondence is studied. This calculus is a subcalculus of pi_epsilon-calculus in the way Sangiorgi''s piI-calculus is a subcalculus of ordinary pi-calculus." @default.
- W1573313186 created "2016-06-24" @default.
- W1573313186 creator A5014089511 @default.
- W1573313186 date "1997-09-09" @default.
- W1573313186 modified "2023-09-23" @default.
- W1573313186 title "A Labelled Transition System for pi_epsilon-Calculus" @default.
- W1573313186 hasPublicationYear "1997" @default.
- W1573313186 type Work @default.
- W1573313186 sameAs 1573313186 @default.
- W1573313186 citedByCount "0" @default.
- W1573313186 crossrefType "book" @default.
- W1573313186 hasAuthorship W1573313186A5014089511 @default.
- W1573313186 hasConcept C11413529 @default.
- W1573313186 hasConcept C117312493 @default.
- W1573313186 hasConcept C127413603 @default.
- W1573313186 hasConcept C133731056 @default.
- W1573313186 hasConcept C199343813 @default.
- W1573313186 hasConcept C2777686260 @default.
- W1573313186 hasConcept C2779167558 @default.
- W1573313186 hasConcept C2984882572 @default.
- W1573313186 hasConcept C33695381 @default.
- W1573313186 hasConcept C33923547 @default.
- W1573313186 hasConcept C41008148 @default.
- W1573313186 hasConcept C71924100 @default.
- W1573313186 hasConcept C80444323 @default.
- W1573313186 hasConceptScore W1573313186C11413529 @default.
- W1573313186 hasConceptScore W1573313186C117312493 @default.
- W1573313186 hasConceptScore W1573313186C127413603 @default.
- W1573313186 hasConceptScore W1573313186C133731056 @default.
- W1573313186 hasConceptScore W1573313186C199343813 @default.
- W1573313186 hasConceptScore W1573313186C2777686260 @default.
- W1573313186 hasConceptScore W1573313186C2779167558 @default.
- W1573313186 hasConceptScore W1573313186C2984882572 @default.
- W1573313186 hasConceptScore W1573313186C33695381 @default.
- W1573313186 hasConceptScore W1573313186C33923547 @default.
- W1573313186 hasConceptScore W1573313186C41008148 @default.
- W1573313186 hasConceptScore W1573313186C71924100 @default.
- W1573313186 hasConceptScore W1573313186C80444323 @default.
- W1573313186 hasLocation W15733131861 @default.
- W1573313186 hasOpenAccess W1573313186 @default.
- W1573313186 hasPrimaryLocation W15733131861 @default.
- W1573313186 hasRelatedWork W133736209 @default.
- W1573313186 hasRelatedWork W134535625 @default.
- W1573313186 hasRelatedWork W13842973 @default.
- W1573313186 hasRelatedWork W1503779485 @default.
- W1573313186 hasRelatedWork W1516889398 @default.
- W1573313186 hasRelatedWork W1517222497 @default.
- W1573313186 hasRelatedWork W1532742882 @default.
- W1573313186 hasRelatedWork W1533746731 @default.
- W1573313186 hasRelatedWork W154767665 @default.
- W1573313186 hasRelatedWork W1633776801 @default.
- W1573313186 hasRelatedWork W1999005577 @default.
- W1573313186 hasRelatedWork W2253420079 @default.
- W1573313186 hasRelatedWork W2592882902 @default.
- W1573313186 hasRelatedWork W2626992093 @default.
- W1573313186 hasRelatedWork W30093835 @default.
- W1573313186 hasRelatedWork W31892071 @default.
- W1573313186 hasRelatedWork W3197580668 @default.
- W1573313186 hasRelatedWork W425880389 @default.
- W1573313186 hasRelatedWork W63582583 @default.
- W1573313186 hasRelatedWork W78524380 @default.
- W1573313186 isParatext "false" @default.
- W1573313186 isRetracted "false" @default.
- W1573313186 magId "1573313186" @default.
- W1573313186 workType "book" @default.