Pascal and Francis Bibliographic Databases


Search results

Your search

kw.\*:("Programme concurrent")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV


A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 987

  • Page / 40

Selection :

  • and

Atomic semantics of nonatomic programsANDERSON, J. H; GOUDA, M. G.Information processing letters. 1988, Vol 28, Num 2, pp 99-103, issn 0020-0190Article

A theorem on atomicity in distributed algorithmsLAMPORT, L.Distributed computing. 1990, Vol 4, Num 2, pp 59-68, issn 0178-2770, 10 p.Article

Description of a tool for specifying and prototyping concurrent programsDE FRANCESCO, N; VAGLINI, G.IEEE transactions on software engineering. 1988, Vol 14, Num 11, pp 1554-1564, issn 0098-5589Article

The development of a parallel N-body code for the Edinburgh concurrent supercomputerSWEATMAN, W. L.Journal of computational physics (Print). 1994, Vol 111, Num 1, pp 110-119, issn 0021-9991Article

The Eden system: a technical reviewALMES, G. T; BLACK, A. P; LAZOWSKA, E. D et al.IEEE transactions on software engineering. 1985, Vol 11, Num 1, pp 43-59, issn 0098-5589Article

The rely-guarantee method for verifying shared variable concurrent programsXU, Q; DE ROEVER, W.-P; HE, J et al.Formal aspects of computing. 1997, Vol 9, Num 2, pp 149-174, issn 0934-5043Article

An action-based formal model for concurrent real-time systemsFIDGE, C. J; WELLINGS, A. J.Formal aspects of computing. 1997, Vol 9, Num 2, pp 175-207, issn 0934-5043Article

Bounded delay for a free addressHESSELINK, W. H.Acta informatica. 1996, Vol 33, Num 3, pp 233-254, issn 0001-5903Article

A systematic approach to language constructs for concurrent programsBROY, M; BAUER, F. L.Science of computer programming. 1984, Vol 4, Num 2, pp 103-139, issn 0167-6423Article

Control predicates are better than dummy variables for reasoning about program controlLAMPORT, L.ACM transactions on programming languages and systems. 1988, Vol 10, Num 2, pp 267-281, issn 0164-0925Article

Characterizing finite Kripke structures in propositional temporal logicBROWNE, M. C; CLARKE, E. M; GRÜMBERG, O et al.Theoretical computer science. 1988, Vol 59, Num 1-2, pp 115-131, issn 0304-3975Conference Paper

The cosmic cubeSEITZ, C. L.Communications of the ACM. 1985, Vol 28, Num 1, pp 22-33, issn 0001-0782Article

A proof system for concurrent ADA programsGERTH, R; DE ROEVER, W. P.Science of computer programming. 1984, Vol 4, Num 2, pp 159-204, issn 0167-6423Article

A formal system for specification analysis of concurrent programsHIROSE, K; TAKAHASHI, M.Publications of the Research Institute for Mathematical Sciences. Series A. 1983, Vol 19, Num 3, pp 911-926, issn 0034-5318Article

Progress in deriving concurrent programs : Emphasizing the role of stable guardsDONGOL, Brijesh; MOOIJ, Arjan J.Lecture notes in computer science. 2006, pp 140-161, issn 0302-9743, isbn 3-540-35631-2, 1Vol, 22 p.Conference Paper

A model for error recovery with global checkpointingKANT, K.Information sciences. 1983, Vol 30, Num 3, pp 225-239, issn 0020-0255Article

Cooperating reduction machinesKLUGE, W. E.IEEE transactions on computers. 1983, Vol 32, Num 11, pp 1002-1012, issn 0018-9340Article

Systèmes de processus légers: concepts et exemples = Thread processus: concepts and examplesDEMEURE, I; FARHAT, J.TSI. Technique et science informatiques. 1994, Vol 13, Num 6, pp 765-795, issn 0752-4072Article

An implementation of the object-oriented concurrent programming language SINAANAND TRIPATHI; BERGE, E; AKSIT, M et al.Software, practice & experience. 1989, Vol 19, Num 3, pp 235-256, issn 0038-0644Article

Semantics of communicating processesBROY, M.Information and control. 1984, Vol 61, Num 3, pp 202-246, issn 0019-9958Article

Control-driven coordination programming in shared dataspacePAPADOPOULOS, G. A; ARBAB, F.Lecture notes in computer science. 1997, pp 247-261, issn 0302-9743, isbn 3-540-63371-5Conference Paper

Workshops 05+06 : Programming languages and concurrent object-oriented programmingPERROTT, R; AGHA, G.Lecture notes in computer science. 1997, pp 507-510, issn 0302-9743, isbn 3-540-63440-1Conference Paper

Ein System koperirender Regelmoduln für die aufgabenorientierte Programmierung = A system of cooperating rule-based modules for task-oriented programmingBOCIONEK, S; FISCHER, K.Robotersysteme. 1990, Vol 6, Num 1, pp 24-30, issn 0178-0026Article

An Implementation of mutual inclusionHOOGERWOORD, R. R.Information processing letters. 1986, Vol 23, Num 2, pp 77-80, issn 0020-0190Article

A scheme for building visual debugging environment with dynamic debugging method for parallel systemsON, G.-W; LEE, B.-S; HONG, C.-E et al.Lecture notes in computer science. 1997, pp 241-246, issn 0302-9743, isbn 3-540-63371-5Conference Paper

  • Page / 40