Pascal and Francis Bibliographic Databases


Search results

Your search

kw.\*:("Concurrent program")


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

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


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

Results 1 to 25 of 1001

  • Page / 41

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

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

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

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 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

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

Generating test sequences from statecharts for concurrent program testingSEO, Heui-Seok; CHUNG, In Sang; KWON, Yong Rae et al.IEICE transactions on information and systems. 2006, Vol 89, Num 4, pp 1459-1469, issn 0916-8532, 11 p.Article

Streamlining progress-based derivations of concurrent programsDONGOL, Brijesh; MOOIJ, Arjan J.Formal aspects of computing. 2008, Vol 20, Num 2, pp 141-160, issn 0934-5043, 20 p.Article

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

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 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

An investigation into concurrent semantic analysisSESHADRI, V; WORTMAN, D. B.Software, practice & experience. 1991, Vol 21, Num 12, pp 1323-1348, issn 0038-0644Article

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

Resources, concurrency and local reasoningO'HEARN, Peter W.Lecture notes in computer science. 2004, pp 49-67, issn 0302-9743, isbn 3-540-22940-X, 19 p.Conference Paper

Stabilization-preserving atomicity refinementNESTERENKO, M; ARORA, A.Lecture notes in computer science. 1999, pp 254-268, issn 0302-9743, isbn 3-540-66531-5Conference Paper

Type-based analysis of concurrent programsKOBAYASHI, N.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-64925-5, p.272Conference Paper

Probabilistic concurrent constraint programmingGUPTA, V; JAGADEESAN, R; SARASWAT, V et al.Lecture notes in computer science. 1997, pp 243-257, issn 0302-9743, isbn 3-540-63141-0Conference Paper

An operational semantics for occamCAMILLERI, J.International journal of parallel programming. 1989, Vol 18, Num 5, pp 365-400, issn 0885-7458, 36 p.Article

  • Page / 41