X
Search Filters
Format Format
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science, theory & methods (2) 2
fully abstract (2) 2
active antiretroviral therapy (1) 1
advanced-stage (1) 1
analysis (1) 1
behavior (1) 1
birth-weight (1) 1
breaking (1) 1
calculus (1) 1
chained equations (1) 1
channels (1) 1
choice (1) 1
communication (1) 1
computer science (1) 1
computer science, interdisciplinary applications (1) 1
csp (1) 1
drug-use (1) 1
elections (1) 1
encoding (1) 1
fully conditional speci cation (1) 1
fully conditional specication (1) 1
fully conditional specification (1) 1
gibbs sampler (1) 1
input-output construct (1) 1
interfaces (1) 1
ir-78938 (1) 1
judgments (1) 1
mathematical models (1) 1
mice (1) 1
missing-data (1) 1
monitors (1) 1
multiple imputation (1) 1
networks (1) 1
object oriented (1) 1
object-oriented languages (1) 1
object-oriented programming (1) 1
open systems (1) 1
passive imputation (1) 1
percutaneous coronary intervention (1) 1
physical-activity (1) 1
pi-calculus (1) 1
predictor selection (1) 1
primitives (1) 1
process calculi (1) 1
prognostic model (1) 1
r (1) 1
representation independence (1) 1
running (1) 1
semantics (1) 1
statistics (1) 1
statistics & probability (1) 1
symmetry (1) 1
variability (1) 1
variable selection (1) 1
vices (1) 1
more...
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Mathematical Structures in Computer Science, ISSN 0960-1295, 03/2016, Volume 26, Issue 3, pp. 561 - 605
This paper formalizes the observable interface behaviour of open systems for a strongly-typed, concurrent object-oriented language with single-class... 
REPRESENTATION INDEPENDENCE | COMPUTER SCIENCE, THEORY & METHODS | SEMANTICS | OBJECT-ORIENTED LANGUAGES | MONITORS | FULLY ABSTRACT | Interfaces | Open systems | Behavior | Mathematical models | Vices | Judgments | Object-oriented programming | Object oriented
Journal Article
Mathematical Structures in Computer Science, ISSN 0960-1295, 09/2016, Volume 26, Issue 6, pp. 1054 - 1106
A well-known result by Palamidessi tells us that pi(mix) (the pi-calculus with mixed choice) is more expressive than pi(sep) (its subset with only separate... 
INPUT-OUTPUT CONSTRUCT | PROCESS CALCULI | CHOICE | CSP | PI-CALCULUS | PRIMITIVES | FULLY ABSTRACT | COMPUTER SCIENCE, THEORY & METHODS | COMMUNICATION | Computer science | Analysis | Calculus | Elections | Networks | Breaking | Variability | Running | Encoding | Channels | Symmetry
Journal Article
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.