• Suche: "Langage concurrent"

Treffer 1 - 11 von 11

1

Typing termination in a higher-order concurrent imperative language
BOUDOL, Gérard
18th International Conference on Concurrency Theory (CONCUR 2007)Information and computation (Print). 208(6):716-736

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Fachzeitschrift
Zu den Favoriten
2

Concurrent monadic interfacing
HOLYER, I ; SPILIOPOULOU, E
IFL '98 : implementation of functional languages (London, 9-11 September 1998)Lecture notes in computer science. :72-87

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
3

Pict correctness revisited
BIDINGER, Philippe ; COMPAGNONI, Adriana
Distributed Computing TechniquesTheoretical computer science. 410(2-3):114-127

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Fachzeitschrift
Zu den Favoriten
4

LMNtal as a hierarchical logic programming language
UEDA, Kazunori
Abstract Interpretation and Logic Programming: in Honor of professor Giorgio LeviTheoretical computer science. 410(46):4784-4800

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Fachzeitschrift
Zu den Favoriten
5

A comparison of spin and the μCRL toolset on HAVi leader election protocol
USENKO, Y. S
Report - Software engineering. (17):1-23

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Fachzeitschrift
Zu den Favoriten
6

Rendez-vous with metric semantics
DE BAKKER, J. W ; DE VINK, E. P
New generation computing. 12(1):53-90

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Fachzeitschrift
Zu den Favoriten
7

Dynamic synchrony among atomic actions
ROMAN, G.-C ; PLUN, J. Y ; WILCOX, C. D
IEEE transactions on parallel and distributed systems. 4(6):677-685

Electronics Electronique Computer science Informatique Sciences exactes et tech... Exact sciences and techn... …
Fachzeitschrift
Zu den Favoriten
8

Real-time semantics for shared-variable concurrency
SHADE, E ; NARAYANA, K. T
Information and computation (Print). 102(1):56-82

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Fachzeitschrift
Zu den Favoriten
9

Using flat concurrent prolog in system modeling
DOTAN, Y ; ARAZI, B
IEEE transactions on software engineering. 17(6):493-512

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Fachzeitschrift
Zu den Favoriten
10

Semantic models for concurrent logic languages
DE BOER, F. S ; RUTTEN, J. J. M. M ; KOK, J. N ; et al.
Theoretical computer science. 86(1):3-33

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Fachzeitschrift
Zu den Favoriten
11

The implementation of DTL
HUGHES, J. W ; POWELL, M. S
Software, practice & experience. 13(12):1113-1128

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter