04832nam 22007455 450 99646552680331620200704123402.03-540-47472-210.1007/3-540-54152-7(CKB)1000000000233660(SSID)ssj0000325544(PQKBManifestationID)11254410(PQKBTitleCode)TC0000325544(PQKBWorkID)10340163(PQKB)11392740(DE-He213)978-3-540-47472-2(PPN)155233440(EXLCZ)99100000000023366020121227d1991 u| 0engurnn|008mamaatxtccrPARLE '91. Parallel Architectures and Languages Europe[electronic resource] Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings /edited by Emile H.L. Aarts, Jan van Leeuwen, Martin Rem1st ed. 1991.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1991.1 online resource (XVII, 495 p.) Lecture Notes in Computer Science,0302-9743 ;506Bibliographic Level Mode of Issuance: Monograph3-540-54152-7 Loosely-coupled processes (preliminary version) -- Rendez-vous with metric semantics -- Embeddings among concurrent programming languages -- Invariants and paradigms of concurrency theory -- Acceptance Automata: A framework for specifying and verifying TCSP parallel systems -- Models for dynamically placed concurrent processes -- Formalisation of the behavior of actors by colored Petri nets and some applications -- Program refinement in fair transition systems -- Communication abstraction and refinement -- On the semantics of languages for massively parallel SIMD architectures -- A denotational real-time semantics for shared processors -- Concurrent clean -- The scriptic programming language -- Structural operational semantics for Kernel Andorra Prolog -- Customization of first-class tuple-spaces in a higher-order language -- A formal specification of the process trellis -- Strong bisimilarity on nets revisited -- A configuration approach to parallel programming -- Chaotic linear system solvers in a variable-grain data-driven multiprocessor system -- Parallel associative combinator evaluation -- Static analysis of term graph rewriting systems -- Scheduling of OR-parallel Prolog on a scalable, reconfigurable, distributed-memory multiprocessor -- Flexible scheduling of or-parallelism in Aurora: The Bristol scheduler -- Virtual memory support for OR-parallel logic programming systems -- Interfacing engines and schedulers in Or-Parallel Prolog systems -- Reduction of code space in parallel logic programming systems -- Search level parallel processing of production systems.Lecture Notes in Computer Science,0302-9743 ;506MicroprocessorsArchitecture, ComputerComputersComputer communication systemsSpecial purpose computersComputer system failuresProcessor Architectureshttps://scigraph.springernature.com/ontologies/product-market-codes/I13014Computer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Microprocessors.Architecture, Computer.Computers.Computer communication systems.Special purpose computers.Computer system failures.Processor Architectures.Computer System Implementation.Theory of Computation.Computer Communication Networks.Special Purpose and Application-Based Systems.System Performance and Evaluation.004.1Aarts Emile H.Ledthttp://id.loc.gov/vocabulary/relators/edtLeeuwen Jan vanedthttp://id.loc.gov/vocabulary/relators/edtRem Martinedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465526803316PARLE '91, Parallel Architectures and Languages Europe2829727UNISA