Showing 1 - 20 results of 99 for search '"programming language"' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Reset Filters

Open Polar Keyword: Iceland

Reset Filters

Show filters (1)

Open Polar Keyword: Iceland

Search Results - Open Polar - "programming language"

Search Results

Showing 1 - 20 results of 99 for search '"programming language"', query time: 0.14s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 1
1

Query-based Verification of Biochemical Oscillations through Probabilistic Model Checking

by Ballarini, Paolo, Mura, Ivan, Mardare, Radu
Published 2008
Subjects: “...QA076.7 Programming Languages - Semantics...”

Get access
Get access

Report
Select result number 2
2

Proceedings First International Workshop on Process Algebra and Coordination

by Aceto, Luca, Mousavi, Mohammad Reza
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Subjects: “...Computer Science - Programming Languages...”

Get access
Get access

Text
Select result number 3
3

Perpetuality for full and safe composition (in a constructive setting)

by Kesner, Delia
Published 2008
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access

Conference Object
Select result number 4
4

Perpetuality for full and safe composition (in a constructive setting)

by Kesner, Delia
Published 2008
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access

Conference Object
Select result number 5
5

Perpetuality for full and safe composition (in a constructive setting)

by Kesner, Delia
Published 2008
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access

Conference Object
Select result number 6
6

On global types and multi-party sessions

by Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Padovani, Luca
Published 2011
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 7
7

On global types and multi-party sessions

by Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Padovani, Luca
Published 2011
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 8
8

On global types and multi-party sessions

by Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Padovani, Luca
Published 2011
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 9
9

A type checking algorithm for qualified session types

by Giunti, Marco
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Subjects: “...programming languages...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 10
10

A type checking algorithm for qualified session types

by Giunti, Marco
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Subjects: “...programming languages...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 11
11

Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers

by van Sinderen, Marten, Cordeiro, José
Published 2014
Subjects: “...Programming languages (Electronic computers)...”

Get access
Get access

Other/Unknown Material
Select result number 12
12

Proceedings First International Workshop on Process Algebra and Coordination

by Aceto, Luca, Mousavi, Mohammad Reza
Published 2011
Subjects: “...Programming Languages cs.PL...”

Get access
Get access

Text
Select result number 13
13

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

by Huisman, Marieke, Ábrahám, Erika
Published 2016
Subjects: “...Programming languages (Electronic computers)...”

Get access
Get access

Other/Unknown Material
Select result number 14
14

Fair Subtyping for Multi-Party Session Types

by Padovani, Luca
Published 2011
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 15
15

Fair Subtyping for Multi-Party Session Types

by Padovani, Luca
Published 2011
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 16
16

Fair Subtyping for Multi-Party Session Types

by Padovani, Luca
Published 2011
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 17
17

Fair Subtyping for Multi-Party Session Types

by Padovani, Luca
Published 2011
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 18
18

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method

by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, Paul
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 19
19

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method

by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, Paul
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 20
20

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method

by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, Paul
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0...”

Get access
Get access
Get access
Get access

Conference Object