Sciweavers

11022 search results - page 44 / 2205

» Programming Systems for Autonomy

111

ESOP
1992
Springer

88views Programming Languages» more ESOP 1992»

A Semantics for Multiprocessor Systems

15 years 8 months ago

A Semantics for Multiprocessor Systems

Download www.cosc.canterbury.ac.nz

Padmanabhan Krishnan

claim paper

Read More »

120

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

15 years 8 months ago

Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

Download www.cs.tau.ac.il

Alexander Moshe Rabinovich

claim paper

Read More »

95

APLAS
2004
ACM

109views Programming Languages» more APLAS 2004»

The Scala Experiment - Can We Provide Better Language Support for Component Systems?

15 years 8 months ago

The Scala Experiment - Can We Provide Better Language Support for Component Systems?

Download www.daimi.au.dk

Martin Odersky

claim paper

Read More »

126

APLAS
2001
ACM

90views Programming Languages» more APLAS 2001»

A Type System for the Push-Enter Model

15 years 8 months ago

A Type System for the Push-Enter Model

Download www.jaist.ac.jp

Kwanghoon Choi, Taisook Han

claim paper

Read More »

113

IFIP
1998
Springer

87views Programming Languages» more IFIP 1998»

Evolution of ERP Systems

15 years 8 months ago

Evolution of ERP Systems

Download www.cse.dmu.ac.uk

John C. Wortmann

claim paper

Read More »

« Prev « First page 44 / 2205 Last » Next »