4 search results - page 1 / 1 » iccl 1994 |
65
Voted
ICCL
1994
IEEE
15 years 2 months ago
1994
IEEE
83
Voted
ICCL
1994
IEEE
15 years 2 months ago
1994
IEEE
107
Voted
ICCL
1994
IEEE
15 years 2 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
95
Voted
ICCL
1994
IEEE
15 years 1 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...