Matches in SemOpenAlex for { <https://semopenalex.org/work/W1970789400> ?p ?o ?g. }
- W1970789400 endingPage "284" @default.
- W1970789400 startingPage "269" @default.
- W1970789400 abstract "Many parallel and distributed message-passing programs are written in a parametric way over available resources, in particular the number of nodes and their topologies, so that a single parallel program can scale over different environments. This article presents a parameterised protocol description language, Pabble, which can guarantee safety and progress in a large class of practical, complex parameterised message-passing programs through static checking. Pabble can describe an overall interaction topology, using a concise and expressive notation, designed for a variable number of participants arranged in multiple dimensions. These parameterised protocols in turn automatically generate local protocols for type checking parameterised MPI programs for communication safety and deadlock freedom. In spite of undecidability of endpoint projection and type checking in the underlying parameterised session type theory, our method guarantees the termination of end point projection and type checking." @default.
- W1970789400 created "2016-06-24" @default.
- W1970789400 creator A5046935235 @default.
- W1970789400 creator A5054171989 @default.
- W1970789400 date "2014-12-20" @default.
- W1970789400 modified "2023-09-24" @default.
- W1970789400 title "Pabble: parameterised Scribble" @default.
- W1970789400 cites W127832157 @default.
- W1970789400 cites W1516360493 @default.
- W1970789400 cites W1599340713 @default.
- W1970789400 cites W18866292 @default.
- W1970789400 cites W1976385845 @default.
- W1970789400 cites W2003314287 @default.
- W1970789400 cites W2024914463 @default.
- W1970789400 cites W2039417226 @default.
- W1970789400 cites W2040105559 @default.
- W1970789400 cites W2064051034 @default.
- W1970789400 cites W2064736474 @default.
- W1970789400 cites W2106281135 @default.
- W1970789400 cites W2115331279 @default.
- W1970789400 cites W2119545977 @default.
- W1970789400 cites W2128963089 @default.
- W1970789400 cites W2138856138 @default.
- W1970789400 cites W2140476198 @default.
- W1970789400 cites W2141928434 @default.
- W1970789400 cites W2146412016 @default.
- W1970789400 cites W2156588754 @default.
- W1970789400 cites W2162077931 @default.
- W1970789400 cites W2212008127 @default.
- W1970789400 cites W2295923951 @default.
- W1970789400 cites W2626089800 @default.
- W1970789400 cites W4240807674 @default.
- W1970789400 cites W4244486899 @default.
- W1970789400 doi "https://doi.org/10.1007/s11761-014-0172-8" @default.
- W1970789400 hasPublicationYear "2014" @default.
- W1970789400 type Work @default.
- W1970789400 sameAs 1970789400 @default.
- W1970789400 citedByCount "22" @default.
- W1970789400 countsByYear W19707894002014 @default.
- W1970789400 countsByYear W19707894002015 @default.
- W1970789400 countsByYear W19707894002016 @default.
- W1970789400 countsByYear W19707894002017 @default.
- W1970789400 countsByYear W19707894002018 @default.
- W1970789400 countsByYear W19707894002019 @default.
- W1970789400 countsByYear W19707894002020 @default.
- W1970789400 countsByYear W19707894002021 @default.
- W1970789400 countsByYear W19707894002022 @default.
- W1970789400 countsByYear W19707894002023 @default.
- W1970789400 crossrefType "journal-article" @default.
- W1970789400 hasAuthorship W1970789400A5046935235 @default.
- W1970789400 hasAuthorship W1970789400A5054171989 @default.
- W1970789400 hasBestOaLocation W19707894001 @default.
- W1970789400 hasConcept C105795698 @default.
- W1970789400 hasConcept C110251889 @default.
- W1970789400 hasConcept C11413529 @default.
- W1970789400 hasConcept C114614502 @default.
- W1970789400 hasConcept C117251300 @default.
- W1970789400 hasConcept C120314980 @default.
- W1970789400 hasConcept C136764020 @default.
- W1970789400 hasConcept C142724271 @default.
- W1970789400 hasConcept C154945302 @default.
- W1970789400 hasConcept C159023740 @default.
- W1970789400 hasConcept C184720557 @default.
- W1970789400 hasConcept C199360897 @default.
- W1970789400 hasConcept C199845137 @default.
- W1970789400 hasConcept C204787440 @default.
- W1970789400 hasConcept C2777212361 @default.
- W1970789400 hasConcept C2779182362 @default.
- W1970789400 hasConcept C2780385302 @default.
- W1970789400 hasConcept C31258907 @default.
- W1970789400 hasConcept C33923547 @default.
- W1970789400 hasConcept C41008148 @default.
- W1970789400 hasConcept C45357846 @default.
- W1970789400 hasConcept C57493831 @default.
- W1970789400 hasConcept C71924100 @default.
- W1970789400 hasConcept C80444323 @default.
- W1970789400 hasConcept C854659 @default.
- W1970789400 hasConcept C94375191 @default.
- W1970789400 hasConceptScore W1970789400C105795698 @default.
- W1970789400 hasConceptScore W1970789400C110251889 @default.
- W1970789400 hasConceptScore W1970789400C11413529 @default.
- W1970789400 hasConceptScore W1970789400C114614502 @default.
- W1970789400 hasConceptScore W1970789400C117251300 @default.
- W1970789400 hasConceptScore W1970789400C120314980 @default.
- W1970789400 hasConceptScore W1970789400C136764020 @default.
- W1970789400 hasConceptScore W1970789400C142724271 @default.
- W1970789400 hasConceptScore W1970789400C154945302 @default.
- W1970789400 hasConceptScore W1970789400C159023740 @default.
- W1970789400 hasConceptScore W1970789400C184720557 @default.
- W1970789400 hasConceptScore W1970789400C199360897 @default.
- W1970789400 hasConceptScore W1970789400C199845137 @default.
- W1970789400 hasConceptScore W1970789400C204787440 @default.
- W1970789400 hasConceptScore W1970789400C2777212361 @default.
- W1970789400 hasConceptScore W1970789400C2779182362 @default.
- W1970789400 hasConceptScore W1970789400C2780385302 @default.
- W1970789400 hasConceptScore W1970789400C31258907 @default.
- W1970789400 hasConceptScore W1970789400C33923547 @default.
- W1970789400 hasConceptScore W1970789400C41008148 @default.