A typing system for a calculus of objects

Vasconcelos, Vasco T.; Tokoro, Mario

doi:10.1007/3-540-57342-9_89

Cited by 30 publications

(19 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our process language is the ⌅-calculus [13,15] extended with labeled communication and role-based annotations. The syntax, inspired in TyCO [16], is illustrated in Fig. 2, where we consider given an infinite sets of labels L, of channel names N and of roles R. Labels, used to index communication, are identifiers that may neither be created nor communicated (e.g., XML tags).…”

Section: Process Languagementioning

confidence: 99%

“…Technically, we identified a minimal set of ingredients to add to a core process specification language (the ⌅-calculus [13,15], TyCO [16] more precisely) so as to address role-based protocol verification (labeled channels and role annotations) and extended the type analysis accordingly. Noticeably, the split relation defined in this paper is much more readable and also more expressive than the merge relation in [4] -in particular, it allows for splitting (the same) behavior out of the continuations of a branching behavior.…”

Section: ?B{details()end} = End ⌅ ?B{details()end} ?B{price() ?B{dmentioning

confidence: 99%

“…Our development is based on conversation type theory [4], extending it with the ability to specify and analyze the roles involved in the interactions. The underlying model of our analysis is an extremely parsimonious extension of the ⌅-calculus [13,15], where communication actions specify a message label and the role performing the action, inspired by TyCO [16]. Conversations generalize sessions [10,12] with support to multiparty interaction, addressing dynamically established collaborations between an unanticipated number of partners.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

A Type System for Flexible Role Assignment in Multiparty Communicating Systems

Baltazar

Caires

Vasconcelos

et al. 2013

Trustworthy Global Computing

Self Cite

View full text Add to dashboard Cite

Abstract. Communication protocols in distributed systems often specify the roles of the parties involved in the communications, namely for enforcing security policies or task assignment purposes. Ensuring that implementations follow role-based protocol specifications is challenging, especially in scenarios found, e.g., in business processes and web applications, where multiple peers are involved, single peers impersonate several roles, or single roles are carried out by several peers. We present a type-based analysis for statically verifying role-based multi-party interactions, based on a simple ⌅-calculus model and prior work on conversation types. Our main result ensures that well-typed systems follow the rolebased protocols prescribed by the types, including systems where roles are flexibly assigned to processes.

show abstract

Section: Process Languagementioning

confidence: 99%

Section: ?B{details()end} = End ⌅ ?B{details()end} ?B{price() ?B{dmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A Type System for Flexible Role Assignment in Multiparty Communicating Systems

Baltazar

Caires

Vasconcelos

et al. 2013

Trustworthy Global Computing

Self Cite

View full text Add to dashboard Cite

show abstract

“…The core of SpiCO (Core SpiCO) consists in a novel stochastic π-calculus with input patterns, a linguistic feature introduced by Vasconcelos and Tokoro for typed concurrent objects in the asynchronous π-calculus (TyCO) [18,25]. Input patterns are motivated by pattern matching in functional programming languages of the ML family.…”

Section: A Stochastic Pi-calculus With Input Patternsmentioning

confidence: 99%

“…We present Core SpiCO, a novel stochastic π-calculus with input patterns, that originate from the distributed programming language TyCO [18,25] for typed concurrent objects in the asynchronous π-calculus. SpiCO assigns stochastic rates to pairs of channel and function names.…”

Section: Introductionmentioning

confidence: 99%

A Stochastic Pi Calculus for Concurrent Objects

View full text Add to dashboard Cite

Abstract. We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile concurrent objects with static inheritance. We present a semantics for SpiCO in terms of continuous time Markov chains, and show how to compile SpiCO back into the biochemical stochastic π-calculus while preserving semantics.

show abstract

Processes, functions, and datatypes

Vasconcelos

1999

Theory Pract. Obj. Syst.

Self Cite

View full text Add to dashboard Cite

Based on a name‐passing calculus and on its typing system we show how to build several language constructors towards strongly‐typed concurrent programming languages. In particular, we introduce a notion of datatype declaration, and show how to create values of a datatype and how to take such values apart. Further expressions include a form of abstraction and of application. Expressions evaluate to names and can replace any (non‐binding) name in the calculus, thus achieving a clean incorporation of expressions in a name‐passing calculus. A systematic translation of the derived constructors into the basic calculus provides for the semantics and for typing rules for the new constructors. © 1999 John Wiley & Sons, Inc.

show abstract

A typing system for a calculus of objects

Cited by 30 publications

References 6 publications

A Type System for Flexible Role Assignment in Multiparty Communicating Systems

A Type System for Flexible Role Assignment in Multiparty Communicating Systems

A Stochastic Pi Calculus for Concurrent Objects

Processes, functions, and datatypes

Contact Info

Product

Resources

About