Matches in SemOpenAlex for { <https://semopenalex.org/work/W2021288161> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2021288161 endingPage "58" @default.
- W2021288161 startingPage "35" @default.
- W2021288161 abstract "We introduce a generic type system for the synchronous polyadic π -calculus, allowing us to mechanise the analysis of input/output capabilities of mobile processes. The parameter of the generic type system is a lattice-ordered monoid, the elements of which are used to describe the capabilities of channels with respect to their input/output capabilities. The type system can be instantiated in order to check process properties such as upper and lower bounds on the number of processes concurrently using a channel, confluence and absence of blocked processes." @default.
- W2021288161 created "2016-06-24" @default.
- W2021288161 creator A5063161038 @default.
- W2021288161 date "2005-04-01" @default.
- W2021288161 modified "2023-09-27" @default.
- W2021288161 title "Analysing input/output-capabilities of mobile processes with a generic type system" @default.
- W2021288161 cites W1991354622 @default.
- W2021288161 cites W2042360145 @default.
- W2021288161 cites W2050084141 @default.
- W2021288161 cites W2053271394 @default.
- W2021288161 cites W2055378322 @default.
- W2021288161 cites W2065772939 @default.
- W2021288161 cites W2128932399 @default.
- W2021288161 cites W2148025199 @default.
- W2021288161 cites W2148901852 @default.
- W2021288161 doi "https://doi.org/10.1016/j.jlap.2004.01.004" @default.
- W2021288161 hasPublicationYear "2005" @default.
- W2021288161 type Work @default.
- W2021288161 sameAs 2021288161 @default.
- W2021288161 citedByCount "4" @default.
- W2021288161 countsByYear W20212881612016 @default.
- W2021288161 countsByYear W20212881612022 @default.
- W2021288161 crossrefType "journal-article" @default.
- W2021288161 hasAuthorship W2021288161A5063161038 @default.
- W2021288161 hasBestOaLocation W20212881611 @default.
- W2021288161 hasConcept C127313418 @default.
- W2021288161 hasConcept C151730666 @default.
- W2021288161 hasConcept C199360897 @default.
- W2021288161 hasConcept C2777299769 @default.
- W2021288161 hasConcept C41008148 @default.
- W2021288161 hasConceptScore W2021288161C127313418 @default.
- W2021288161 hasConceptScore W2021288161C151730666 @default.
- W2021288161 hasConceptScore W2021288161C199360897 @default.
- W2021288161 hasConceptScore W2021288161C2777299769 @default.
- W2021288161 hasConceptScore W2021288161C41008148 @default.
- W2021288161 hasIssue "1" @default.
- W2021288161 hasLocation W20212881611 @default.
- W2021288161 hasOpenAccess W2021288161 @default.
- W2021288161 hasPrimaryLocation W20212881611 @default.
- W2021288161 hasRelatedWork W1527862632 @default.
- W2021288161 hasRelatedWork W2112962394 @default.
- W2021288161 hasRelatedWork W2118300983 @default.
- W2021288161 hasRelatedWork W2135396778 @default.
- W2021288161 hasRelatedWork W2382501300 @default.
- W2021288161 hasRelatedWork W2740990710 @default.
- W2021288161 hasRelatedWork W3137189469 @default.
- W2021288161 hasRelatedWork W3162240892 @default.
- W2021288161 hasRelatedWork W4235530921 @default.
- W2021288161 hasRelatedWork W4243252198 @default.
- W2021288161 hasVolume "63" @default.
- W2021288161 isParatext "false" @default.
- W2021288161 isRetracted "false" @default.
- W2021288161 magId "2021288161" @default.
- W2021288161 workType "article" @default.