Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A Decade of Concurrency: Reflections and Perspectives [[electronic resource] ] : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings / / edited by J.W.de Bakker, W.-P.de Roever, G. Rozenberg
| A Decade of Concurrency: Reflections and Perspectives [[electronic resource] ] : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings / / edited by J.W.de Bakker, W.-P.de Roever, G. Rozenberg |
| Edizione | [1st ed. 1994.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
| Descrizione fisica | 1 online resource (VIII, 692 p.) |
| Disciplina | 004/.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Operating systems (Computers) Computers Computer programming Software engineering Programming languages (Electronic computers) Computer System Implementation Operating Systems Computation by Abstract Devices Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-48423-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Data-flow synchronous languages -- Process algebra with backtracking -- Some Chemical Abstract Machines -- Verification tools for finite-state concurrent systems -- Linear logic on Petri nets -- An introduction to the theoretical aspects of Coloured Petri Nets -- Temporal verification of simulation and refinement -- Verification and specification of concurrent programs -- Simulation techniques for proving properties of real-time systems -- Relationships between models of concurrency -- Interaction diagrams -- Algebraic theories for name-passing calculi -- Initial algebra and final coalgebra semantics for concurrency -- Logical specifications of infinite computations -- Partial order based design of concurrent systems. |
| Record Nr. | UNISA-996466250803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Semantics: Foundations and Applications [[electronic resource] ] : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings / / edited by J.W.de Bakker, W.-P.de Roever, G. Rozenberg
| Semantics: Foundations and Applications [[electronic resource] ] : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings / / edited by J.W.de Bakker, W.-P.de Roever, G. Rozenberg |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (IX, 667 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Data structures (Computer science) Computer logic Computer programming Software engineering Programming Languages, Compilers, Interpreters Data Structures and Information Theory Logics and Meanings of Programs Programming Techniques Software Engineering |
| ISBN | 3-540-47595-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Predicate transformers and higher order logic -- Trace Nets -- Proving total correctness of programs in weak second-order logic -- On blocks: locality and asynchronous communication -- Semantics, orderings and recursion in the weakest precondition calculus -- A categorical model for logic programs: Indexed monoidal categories -- A categorical view of process refinement -- Compact metric information systems -- Asynchronous rendez-vous in distributed logic programming -- New semantic tools for logic programming -- Temporal preconditions of recursive procedures -- Towards an epistemic approach to reasoning about concurrent programs -- A fully abstract model for a nonuniform concurrent language with parameterization and locality -- SPCF: its model, calculus, and computational power -- Infinite behaviour and fairness in concurrent constraint programming -- Full abstraction and unnested recursion -- On the action semantics of concurrent programming languages -- Layered predicates -- A hyperdoctrinal view of concurrent constraint programming -- On the foundations of final semantics: Non-standard sets, metric spaces, partial orders -- Infinite systems of equations over inverse limits and infinite synchronous concurrent algorithms -- Some issues in the semantics of facile distributed programming -- On the relation between unity properties and sequences of states -- Expressiveness results for process algebras -- Compiling joy into Silicon: An exercise in applied structural operational semantics. |
| Record Nr. | UNISA-996466078203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||