Zobrazeno 1 - 10
of 609
pro vyhledávání: '"session types"'
1
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
2
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
3
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
4
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
5
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
6
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
7
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
8
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
9
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
10
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Vyhledávací nástroje:
Upřesnit hledání
- 483 session types
- 111 concurrency
- 99 computer science
- 71 process calculi
- 64 multiparty session types
- 62 02 engineering and technology
- 62 0202 electrical engineering, electronic engineering, information engineering
- 57 01 natural sciences
- 57 session (computer science)
- 53 0102 computer and information sciences
- 53 010201 computation theory & mathematics
- 51 computer
- 51 theoretical computer science
- 50 020207 software engineering
- 49 subtyping
- 48 pi-calculus
- 47 linear logic
- 46 computer.software_genre
- 41 programming language
- 40 fos: computer and information sciences
- 38 software
- 30 π-calculus
- 28 verification
- 27 progress
- 27 type systems
- 26 computer science - programming languages
- 26 deadlock freedom
- 26 programming languages (cs.pl)
- 25 calculus
- 25 theoryofcomputation_logicsandmeaningsofprograms
- 25 theoryofcomputation_mathematicallogicandformallanguages
- 24 web services
- 23 functional programming
- 21 asynchronous communication
- 21 process calculus
- 19 choreography
- 19 computer science - logic in computer science
- 19 type safety
- 18 020201 artificial intelligence & image processing
- 18 dependent types
- 18 logic in computer science (cs.lo)
- 18 message passing
- 18 science & technology
- 18 technology
- 17 coinduction
- 17 concurrent programming
- 17 contracts
- 17 general computer science
- 17 logic
- 15 [info]computer science [cs]
- 74 association for computing machinery
- 44 schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing
- 28 elsevier inc.
- 26 hal ccsd
- 25 springer science and business media deutschland gmbh
- 24 assoc computing machinery
- 21 arxiv
- 21 elsevier science inc
- 20 logical methods in computer science
- 18 association for computing machinery, inc
- 17 schloss dagstuhl - leibniz-zentrum fur informatik
- 15 elsevier science bv
- 15 springer
- 14 elsevier
- 14 elsevier b.v.
- 14 springer verlag
- 13 logical methods computer science e v
- 12 tech univ braunschweig
- 10 academic press inc elsevier science
- 9 elsevier bv
- 8 acm
- 7 association for computing machinery (acm)
- 7 institute of electrical and electronics engineers inc.
- 5 springer international publishing
- 5 springer london
- 4 open publishing association
- 3 episciences.org
- 3 ieee computer society
- 3 springer berlin heidelberg
- 3 springer heidelberg
- 2 cambridge university press (cup)
- 2 centre pour la communication scientifique directe (ccsd)
- 2 oxford univ press
- 2 springer nature
- 2 springer nature switzerland
- 2 uppsala universitet, avdelningen for datalogi
- 1 atlantis press
- 1 cambridge univ press
- 1 compiler construction
- 1 cornell university
- 1 department of informatics, university of lisbon
- 1 editorial department of journal on communications
- 1 ieice-inst electronics information communications eng
- 1 ios press
- 1 pergamon-elsevier science ltd
- 1 schloss dagstuhl
- 1 schloss dagstuhl - leibniz-zentrum f��r informatik
- 1 university of hertfordshire
- 1 uppsala
- 1 uppsala universitet, datalogi
- 50 logical methods in computer science
- 49 lecture notes in computer science
- 42 leibniz international proceedings in informatics, lipics
- 41 journal of logical and algebraic methods in programming
- 35 proceedings of the acm on programming languages
- 29 science of computer programming
- 25 acm sigplan notices
- 21 information and computation
- 20 theoretical computer science
- 14 acm international conference proceeding series
- 12 acm transactions on programming languages and systems
- 12 arxiv
- 10 electronic notes in theoretical computer science
- 9 formal aspects of computing
- 7 conference record of the annual acm symposium on principles of programming languages
- 4 software and systems modeling
- 3 coordination models and languages - 23rd ifip wg 6.1 international conference, coordination 2021, held as part of the 16th international federated conference on distributed computing techniques, discotec 2021, proceedings
- 3 electronic proceedings in theoretical computer science
- 3 formal methods in system design
- 3 journal of the acm
- 2 acm transactions on computational logic
- 2 formal techniques for distributed objects, components, and systems - 40th ifip wg 6.1 international conference, forte 2020, held as part of the 15th international federated conference on distributed computing techniques, discotec 2020, proceedings
- 2 fundamenta informaticae
- 2 icfp 2016 - proceedings of the 21st acm sigplan international conference on functional programming
- 2 ieice transactions on information and systems
- 2 international journal on software tools for technology transfer
- 2 journal of functional programming
- 2 journal of logic and algebraic programming
- 2 journal of logic and computation
- 2 openaccess series in informatics
- 2 proceedings - symposium on logic in computer science
- 2 proceedings of the acm symposium on applied computing
- 2 programming languages and systems - 28th european symposium on programming, esop 2019, held as part of the european joint conferences on theory and practice of software, etaps 2019, proceedings
- 2 programming languages and systems - 32nd european symposium on programming, esop 2023, held as part of the european joint conferences on theory and practice of software, etaps 2023, proceedings
- 2 programming languages and systems - 33rd european symposium on programming, esop 2024, held as part of the european joint conferences on theory and practice of software, etaps 2024, proceedings
- 2 service oriented computing and applications
- 1 2023 7th international conference on system reliability and safety, icsrs 2023
- 1 acta informatica
- 1 agere 2019 - proceedings of the 9th acm sigplan international workshop on programming based on actors, agents, and decentralized control, co-located with splash 2019
- 1 agere 2021 - proceedings of the 11th acm sigplan international workshop on programming based on actors, agents, and decentralized control, co-located with splash 2021
- 1 art, science, and engineering of programming
- 1 cc 2018 - proceedings of the 27th international conference on compiler construction, co-located with cgo 2018
- 1 cc 2020 - proceedings of the 29th international conference on compiler construction
- 1 computer languages systems & structures
- 1 information sciences
- 1 mathematical structures in computer science
- 1 proceedings of the 42nd acm sigplan international conference on programming language design and implementation
- 1 programming languages and systems
- 1 tongxin xuebao
- 1 tools and algorithms for the construction and analysis of systems