FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2211434071> ?p ?o ?g. }

• W2211434071 abstract "We present a concurrent programming language based on the monadic pi-calculus, where communication among processes is governed by linearly refined session types. In SePi, processes communicate synchronously via bi-directional channels (defined by two end-points) by message-passing. Interactions on channels are statically verified against session types describing the type and order of messages exchanged, as well as the number of processes that may share a channel. We first implement a core language where there are constructs to send and receive (including a form of replicated input) messages, select and offer a set of options, parallel composition, conditional and channel creation. In order to allow describing more precise properties of programs, SePi includes assume and assert primitives at the process level and refinements at the type level. Refinements are treated linearly, which allows a finer, resource-oriented use: each assumption is asserted exactly once, and conversely each assertion is also assumed exactly once. On top of this core language we provide some abbreviations and some derived constructs with the purpose of facilitate code development, resulting in the current version of SePi. We introduced a few abbreviations, as for instance the dualof operator or the optional qualifiers, and derived constructs, such as the input and output of multiple values and mutually recursive process definitions and type declarations. SePi is currently implemented as an Eclipse plugin, allowing code development (and interpretation) with the usual advantages of an IDE, such as syntax highlighting, syntactic and semantic validation, code completion and refactoring. The syntax, type system and operational semantics of SePi are introduced in references [3, 36] and the interpreter is based on Turner’s abstract machine [32]." @default.
• W2211434071 created "2016-06-24" @default.
• W2211434071 creator A5016160971 @default.
• W2211434071 date "2013-01-01" @default.
• W2211434071 modified "2023-09-24" @default.
• W2211434071 title "A concurrent programming language with session types" @default.
• W2211434071 cites W1432573364 @default.
• W2211434071 cites W1498393124 @default.
• W2211434071 cites W1507802114 @default.
• W2211434071 cites W1555656963 @default.
• W2211434071 cites W1591694044 @default.
• W2211434071 cites W1596502640 @default.
• W2211434071 cites W1603799276 @default.
• W2211434071 cites W1605034451 @default.
• W2211434071 cites W168400685 @default.
• W2211434071 cites W1784055113 @default.
• W2211434071 cites W1864473657 @default.
• W2211434071 cites W2040105559 @default.
• W2211434071 cites W2080718905 @default.
• W2211434071 cites W2088962847 @default.
• W2211434071 cites W2095757617 @default.
• W2211434071 cites W2101085206 @default.
• W2211434071 cites W2101777639 @default.
• W2211434071 cites W2104028161 @default.
• W2211434071 cites W2112965682 @default.
• W2211434071 cites W2118870447 @default.
• W2211434071 cites W2128932399 @default.
• W2211434071 cites W2137186143 @default.
• W2211434071 cites W2141928434 @default.
• W2211434071 cites W2162077931 @default.
• W2211434071 cites W2171043779 @default.
• W2211434071 cites W2272757247 @default.
• W2211434071 cites W1421419986 @default.
• W2211434071 hasPublicationYear "2013" @default.
• W2211434071 type Work @default.
• W2211434071 sameAs 2211434071 @default.
• W2211434071 citedByCount "0" @default.
• W2211434071 crossrefType "dissertation" @default.
• W2211434071 hasAuthorship W2211434071A5016160971 @default.
• W2211434071 hasConcept C114408938 @default.
• W2211434071 hasConcept C133162039 @default.
• W2211434071 hasConcept C136764020 @default.
• W2211434071 hasConcept C152752567 @default.
• W2211434071 hasConcept C154945302 @default.
• W2211434071 hasConcept C177264268 @default.
• W2211434071 hasConcept C184337299 @default.
• W2211434071 hasConcept C18903297 @default.
• W2211434071 hasConcept C199360897 @default.
• W2211434071 hasConcept C26517878 @default.
• W2211434071 hasConcept C2777299769 @default.
• W2211434071 hasConcept C2777904410 @default.
• W2211434071 hasConcept C2779182362 @default.
• W2211434071 hasConcept C38652104 @default.
• W2211434071 hasConcept C41008148 @default.
• W2211434071 hasConcept C60048249 @default.
• W2211434071 hasConcept C80444323 @default.
• W2211434071 hasConcept C86803240 @default.
• W2211434071 hasConcept C93682546 @default.
• W2211434071 hasConceptScore W2211434071C114408938 @default.
• W2211434071 hasConceptScore W2211434071C133162039 @default.
• W2211434071 hasConceptScore W2211434071C136764020 @default.
• W2211434071 hasConceptScore W2211434071C152752567 @default.
• W2211434071 hasConceptScore W2211434071C154945302 @default.
• W2211434071 hasConceptScore W2211434071C177264268 @default.
• W2211434071 hasConceptScore W2211434071C184337299 @default.
• W2211434071 hasConceptScore W2211434071C18903297 @default.
• W2211434071 hasConceptScore W2211434071C199360897 @default.
• W2211434071 hasConceptScore W2211434071C26517878 @default.
• W2211434071 hasConceptScore W2211434071C2777299769 @default.
• W2211434071 hasConceptScore W2211434071C2777904410 @default.
• W2211434071 hasConceptScore W2211434071C2779182362 @default.
• W2211434071 hasConceptScore W2211434071C38652104 @default.
• W2211434071 hasConceptScore W2211434071C41008148 @default.
• W2211434071 hasConceptScore W2211434071C60048249 @default.
• W2211434071 hasConceptScore W2211434071C80444323 @default.
• W2211434071 hasConceptScore W2211434071C86803240 @default.
• W2211434071 hasConceptScore W2211434071C93682546 @default.
• W2211434071 hasLocation W22114340711 @default.
• W2211434071 hasOpenAccess W2211434071 @default.
• W2211434071 hasPrimaryLocation W22114340711 @default.
• W2211434071 hasRelatedWork W114273005 @default.
• W2211434071 hasRelatedWork W1998502978 @default.
• W2211434071 hasRelatedWork W2006777804 @default.
• W2211434071 hasRelatedWork W2013466898 @default.
• W2211434071 hasRelatedWork W2022209705 @default.
• W2211434071 hasRelatedWork W2038264311 @default.
• W2211434071 hasRelatedWork W2071395587 @default.
• W2211434071 hasRelatedWork W2104245532 @default.
• W2211434071 hasRelatedWork W2105716349 @default.
• W2211434071 hasRelatedWork W2119846530 @default.
• W2211434071 hasRelatedWork W2124126159 @default.
• W2211434071 hasRelatedWork W2128612657 @default.
• W2211434071 hasRelatedWork W2185017581 @default.
• W2211434071 hasRelatedWork W2731085289 @default.
• W2211434071 hasRelatedWork W3003990530 @default.
• W2211434071 hasRelatedWork W3103183480 @default.
• W2211434071 hasRelatedWork W3151502198 @default.
• W2211434071 hasRelatedWork W3184696433 @default.
• W2211434071 hasRelatedWork W2517418573 @default.
• W2211434071 hasRelatedWork W2585947240 @default.

• next