Article

Types for Dynamic Interaction

Author:

Kohei HondaAuthors Info & Claims

CONCUR '93: Proceedings of the 4th International Conference on Concurrency Theory

Pages 509 - 523

Published: 23 August 1993 Publication History

Abstract

No abstract available.

Cited By

View all

Derakhshan FBalzer SJia LGorla D(2021)Session logical relations for noninterferenceProceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science10.1109/LICS52264.2021.9470654(1-14)Online publication date: 29-Jun-2021
https://dl.acm.org/doi/10.1109/LICS52264.2021.9470654
Das APfenning FGabbrielli MAbel ACheney J(2020)Verified Linear Session-Typed Concurrent ProgrammingProceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming10.1145/3414080.3414087(1-15)Online publication date: 8-Sep-2020
https://dl.acm.org/doi/10.1145/3414080.3414087
Scalas AYoshida NBenussi EBrachthäuser JRyu SNystrom N(2019)EffpiProceedings of the Tenth ACM SIGPLAN Symposium on Scala10.1145/3337932.3338812(27-31)Online publication date: 17-Jul-2019
https://dl.acm.org/doi/10.1145/3337932.3338812
Show More Cited By

Recommendations

Impact of two types of partner, perceived or actual, in human-human and human-agent interaction

Participants engaged in the Prisoner's dilemma game with a partner through a computer terminal. We define two types of partner: a perceived partner and an actual partner, and manipulated the two factors independently. A perceived partner means a partner ...
Carpeno: interfacing remote collaborative virtual environments with table-top interaction

Creativity is enhanced by communication and collaboration. Thus, the increasing number of distributed creative tasks requires better support from computer-mediated communication and collaborative tools. In this paper we introduce “Carpeno”, a new system ...
Types for dynamic reconfiguration
ESOP'06: Proceedings of the 15th European conference on Programming Languages and Systems

We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dynamic reconfiguration in object-based systems. We show how our language ...

Comments

Information & Contributors

Information

Published In

CONCUR '93: Proceedings of the 4th International Conference on Concurrency Theory

August 1993

540 pages

ISBN:3540572082

Editor:
Eike Best

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 23 August 1993

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

94
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Derakhshan FBalzer SJia LGorla D(2021)Session logical relations for noninterferenceProceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science10.1109/LICS52264.2021.9470654(1-14)Online publication date: 29-Jun-2021
https://dl.acm.org/doi/10.1109/LICS52264.2021.9470654
Das APfenning FGabbrielli MAbel ACheney J(2020)Verified Linear Session-Typed Concurrent ProgrammingProceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming10.1145/3414080.3414087(1-15)Online publication date: 8-Sep-2020
https://dl.acm.org/doi/10.1145/3414080.3414087
Scalas AYoshida NBenussi EBrachthäuser JRyu SNystrom N(2019)EffpiProceedings of the Tenth ACM SIGPLAN Symposium on Scala10.1145/3337932.3338812(27-31)Online publication date: 17-Jul-2019
https://dl.acm.org/doi/10.1145/3337932.3338812
v. Gleissenthall KKıcı RBakst AStefan DJhala R(2019)Pretend synchrony: synchronous verification of asynchronous distributed programsProceedings of the ACM on Programming Languages10.1145/32903723:POPL(1-30)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290372
Fowler SLindley SMorris JDecova S(2019)Exceptional asynchronous session types: session types without tiersProceedings of the ACM on Programming Languages10.1145/32903413:POPL(1-29)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290341
Padovani L(2019)Context-Free Session Type InferenceACM Transactions on Programming Languages and Systems10.1145/322906241:2(1-37)Online publication date: 15-Mar-2019
https://dl.acm.org/doi/10.1145/3229062
Das AHoffmann JPfenning F(2018)Work Analysis with Resource-Aware Session TypesProceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3209108.3209146(305-314)Online publication date: 9-Jul-2018
https://dl.acm.org/doi/10.1145/3209108.3209146
Crafa SPadovani L(2017)The Chemical Approach to Typestate-Oriented ProgrammingACM Transactions on Programming Languages and Systems10.1145/306484939:3(1-45)Online publication date: 26-May-2017
https://dl.acm.org/doi/10.1145/3064849
Thiemann PShin SShin DLencastre M(2017)Interleaving sessions with predicatesProceedings of the Symposium on Applied Computing10.1145/3019612.3019804(1312-1318)Online publication date: 3-Apr-2017
https://dl.acm.org/doi/10.1145/3019612.3019804
Vasconcelos CRavara AShin SShin DLencastre M(2017)From object-oriented code with assertions to behavioural typesProceedings of the Symposium on Applied Computing10.1145/3019612.3019733(1492-1497)Online publication date: 3-Apr-2017
https://dl.acm.org/doi/10.1145/3019612.3019733
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Recommendations

Impact of two types of partner, perceived or actual, in human-human and human-agent interaction

Carpeno: interfacing remote collaborative virtual environments with table-top interaction

Types for dynamic reconfiguration

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations