A general proof rule for procedures in predicate transformer semanticsMARTIN, A. J.Acta informatica. 1983, Vol 20, Num 4, pp 301-313, issn 0001-5903Article

Equivalence of the Gries and Martin proof rules for procedure callsBIJLSMA, A; WILTINK, J. G; MATTHEWS, P. A et al.Acta informatica. 1986, Vol 23, Num 4, pp 357-360, issn 0001-5903Article

The design and implementation of a distributed program monitorZHOU, W.The Journal of systems and software. 1993, Vol 22, Num 1, pp 63-77, issn 0164-1212Article

Why do so few patients appeal against detention under section 2 of the mental health act ?BRADLEY, C; MARSHALL, M; GATH, D et al.BMJ. British medical journal (International ed.). 1995, Vol 310, Num 6976, pp 364-367, issn 0959-8146Article

Le service d'appel de procédure distante Girolle = The Girolle remote procedure call serviceSHAPIRO, M.TSI. Technique et science informatiques. 1984, Vol 3, Num 6, pp 435-442, issn 0752-4072Article

Strategies for managing the register file in RISCTAMIR, Y; SEQUIN, C. H.IEEE transactions on computers. 1983, Vol 32, Num 11, pp 977-989, issn 0018-9340Article

Atomic remote procedure callKWEI-JAY LIN; GANNON, J. D.IEEE transactions on software engineering. 1985, Vol 11, Num 10, pp 1126-1135, issn 0098-5589Article

Edmas: an object-oriented, locally distributed mail systemALMES, G. T; HOLMAN, C. L.IEEE transactions on software engineering. 1987, Vol 13, Num 9, pp 1001-1009, issn 0098-5589Article

Replicated procedure callCOOPER, E. C.Operating systems review. 1986, Vol 20, Num 1, pp 44-56, issn 0163-5980Article

ICARUS ― ein System zur nicht-lokalen Prozedurausführung = ICARUS. Un système pour des appels de procédure à distance = ICARUS. A system for remote procedure callsTEUFEL, B.Angewandte Informatik. 1985, Num 7, pp 291-295, issn 0013-5704Article

Automatic checking of component protocols in component-based systemsZIMMERMANN, Wolf; SCHAARSCHMIDT, Michael.Lecture notes in computer science. 2006, pp 1-17, issn 0302-9743, isbn 3-540-37657-7, 1Vol, 17 p.Conference Paper

Parallel independence in hierarchical graph transformationHABEL, Annegret; HOFFMANN, Berthold.Lecture notes in computer science. 2004, pp 178-193, issn 0302-9743, isbn 3-540-23207-9, 16 p.Conference Paper

A prolog tailoring technique on an epilog tailored procedureJHI, Yoon-Chan; KIM, Ki-Chang; EBCIOGLU, Kemal et al.Lecture notes in computer science. 2001, pp 421-433, issn 0302-9743, isbn 3-540-43075-XConference Paper

Parameter transmission abstractionsJOKINEN, M. O.Computer journal (Print). 1990, Vol 33, Num 2, pp 133-139, issn 0010-4620Article

On the scale-free intersection graphsXIN YAO; CHANGSHUI ZHANG; JINWEN CHEN et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25860-4, 4Vol, part II, 1217-1224Conference Paper

Instruction selection for compilers that target architectures with echo instructionsBRISK, Philip; NAHAPETIAN, Ani; SARRAFZADEH, Majid et al.Lecture notes in computer science. 2004, pp 229-243, issn 0302-9743, isbn 3-540-23035-1, 15 p.Conference Paper

Radjoot: a remote procedure call mechanism supporting orphan detection and killingPANZIERI, F; SHRIVASTAVA, S. K.IEEE transactions on software engineering. 1988, Vol 14, Num 1, pp 30-37, issn 0098-5589Article

Problems of language bindingsMEEK, B.Computer standards & interfaces. 1993, Vol 15, Num 4, pp 353-360, issn 0920-5489Article

Distributed system management systemScopeHONDOH, H; KOMURO, H.NEC research & development. 1996, Vol 37, Num 3, pp 394-402, issn 0547-051XArticle

Evolving RPC for active storageSIVATHANU, Muthian; ARPACI-DUSSEAU, Andrea C; ARPACI-DUSSEAU, Remzi H et al.Operating systems review. 2002, Vol 36, Num 5, pp 264-276, issn 0163-5980, 13 p.Conference Paper

SUPRA-RPC: SUbprogram PaRAmeters in remote procedure callsSTOYENKO, A. D.Software, practice & experience. 1994, Vol 24, Num 1, pp 27-49, issn 0038-0644Article

Designing an agent synthesis system for cross-RPC communicationYEN-MIN HUANG; RAVISHANKAR, C. V.IEEE transactions on software engineering. 1994, Vol 20, Num 3, pp 188-198, issn 0098-5589Article

RECURSION IN SMALL STORAGEGOLDSCHLAGER LM.1981; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1981; VOL. 11; NO 7; PP. 745-751; BIBL. 11 REF.Article

POLYMORPHISME ET APPELS DE PROCEDURES GENERALISESRUGGIU G.1979; LAMBDA CALCUL ET SEMANTIQUE FORMELLE DES LANGAGES DE PROGRAMMATION. ECOLE DE PRINTEMPS D'INFORMATIQUE THEORIQUE. 6/1978/LA CHATRE; FRA; PARIS: LABORATOIRE D'INFORMATIQUE THEORIQUE ET PROGRAMMATION/PARIS: ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES; DA. 1979; PP. 327-352; BIBL. 7 REF.Conference Paper

PROBLEMATIC FEATURES OF PROGRAMMING LANGUAGES: A SITUATIONAL-CALCULUS APPROACHZOHAR MANNA; WALDINGER R.1981; ACTA INF.; ISSN 0001-5903; DEU; DA. 1981; VOL. 16; NO 4; PP. 371-426; BIBL. 21 REF.Article