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.
Advances in Petri Nets 1984 [[electronic resource] /] / edited by G. Rozenberg
| Advances in Petri Nets 1984 [[electronic resource] /] / edited by G. Rozenberg |
| Edizione | [1st ed. 1985.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 |
| Descrizione fisica | 1 online resource (XII, 472 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer communication systems Software Engineering Computer Communication Networks |
| ISBN | 3-540-39320-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | PSI: A petri net based simulator for flexible manufacturing systems -- Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system -- Concurrency axioms and D-continuous posets -- Frozen tokens and D-continuity: A study in relating system properties to process properties -- Modelling scheduling problems with timed petri nets -- Infinite behaviour and fairness in petri nets -- Petri net based models for the specification and validation of protocols -- A note on observable occurrence nets -- A lattice theoretic view of K-density -- Fair serializability of iterated transactions using fifo-nets -- Csp-programs as nets with individual tokens -- Design and programming of interfaces for monetic applications using petri nets -- Towards reachability trees for high-level petri nets -- The residue of vector sets with applications to decidability problems in petri nets -- The design of a program package for an introductory petri net course -- On communication protocol modelling and design -- On structural properties of generalized processes -- Stepwise construction of non-sequential software systems using a net-based specification language -- Liveness and duality in marked-graph-like predicate/transition nets -- Semantics of concurrent systems: A modular fixed-point trace approach -- The reachability problem for VAS -- K-density, N-density, and finiteness properties -- A net model of a local area network protocol -- In praise of free choice nets -- Computation of flows for unary-predicates/transitions-nets. |
| Record Nr. | UNISA-996466103403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
Foundations of Object-Oriented Languages [[electronic resource] ] : REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 / / edited by J.W. de Bakker, W.P. de Roever, G. Rozenberg
| Foundations of Object-Oriented Languages [[electronic resource] ] : REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 / / edited by J.W. de Bakker, W.P. de Roever, G. Rozenberg |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (X, 442 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Software engineering Computer logic Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-46450-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The structure and semantics of actor languages -- Designing an object-oriented programming language with behavioural subtyping -- A layered semantics for a parallel object-oriented language -- A proof system for the language POOL -- Object-oriented programming versus abstract data types -- Object-oriented specification in LOTOS and Z, or my cat really is object-oriented! -- A categorial theory of objects as observed processes -- Net-based description of parallel object-based systems, or POTs and POPs -- Describing, structuring and implementing objects -- Modelling features of object-oriented languages in second order functional languages with subtypes -- Graph grammar-based description of object-based systems -- An actor-based metalevel architecture for group-wide reflection -- Producing abstract models for object-oriented languages. |
| Record Nr. | UNISA-996465420803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph-Grammars and Their Application to Computer Science [[electronic resource] ] : 2nd International Workshop. Haus Ohrbeck, Germany, October 4 - 8, 1982 / / edited by H. Ehrig, M. Nagl, G. Rozenberg
| Graph-Grammars and Their Application to Computer Science [[electronic resource] ] : 2nd International Workshop. Haus Ohrbeck, Germany, October 4 - 8, 1982 / / edited by H. Ehrig, M. Nagl, G. Rozenberg |
| Edizione | [1st ed. 1983.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1983 |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Algorithms
Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-39897-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Grammatical inference of graph grammars for syntactic pattern recognition -- Graph grammars as a generative tool in image understanding -- Graph grammars for distributed systems -- Algorithms for the generation and drawing of maps representing cell clones -- Aspects of concurrency in graph grammars -- Church-Rosser properties for graph replacement systems with unique splitting -- Specification of data bases through rewriting rules -- Petri nets and their relation to graph grammars -- Attributed graph grammars for graphics -- On context-free graph languages generated by edge replacement -- Modelling compiler generation by graph grammars -- Hypergraph systems generating graph languages -- Graph grammars with node-label controlled rewriting and embedding -- Parsing of graphs in linear time -- Generation of 3-dimensional plant bodies by double wall map and stereomap systems -- Chain code picture languages -- A graph-relational approach to geographic databases -- Graph transductions in the field of automatic translation of natural languages -- Software specification by graph grammars -- Geometry versus topology in Map grammars -- Transformation of structures by convex homomorphisms -- Formal specification of software using H-graph semantics -- Cellular computers for parallel region-level image processing -- Tree-graph grammars for pattern recognition -- The isomorphism problem is polynomially solvable for certain graph languages -- Space-filling curves and infinite graphs -- Two-level expression representation for faster evaluation -- Characterization of graph classes by forbidden structures and reductions -- On graph rewriting systems (Graph-Grammars). |
| Altri titoli varianti | Under the auspices of the European Association for Theoretical Computer Science |
| Record Nr. | UNISA-996466337003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph-Grammars and Their Application to Computer Science and Biology [[electronic resource] ] : International Workshop, Bad Honnef, October 30 - November 3, 1978 / / edited by V. Claus, H. Ehrig, G. Rozenberg
| Graph-Grammars and Their Application to Computer Science and Biology [[electronic resource] ] : International Workshop, Bad Honnef, October 30 - November 3, 1978 / / edited by V. Claus, H. Ehrig, G. Rozenberg |
| Edizione | [1st ed. 1979.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1979 |
| Descrizione fisica | 1 online resource (X, 486 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer science Theory of Computation Computer Science, general |
| ISBN | 3-540-35091-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to the algebraic theory of graph grammars (a survey) -- A tutorial and bibliographical survey on graph grammars -- Partially-additive monoids, graph-growing, and the algebraic semantics of recursive calls -- Rewriting systems as a tool for relational data base design -- Programmed graph grammars -- Shortest path problems and tree grammars: An algebraic framework -- Constructing specifications of abstract data types by replacements -- Decomposition of graph grammar productions and derivations -- Locally star gluing formulas for a class of parallel graph grammars -- Transformations of data base structures -- Explicit versus implicit parallel rewriting on graphs -- Two-level graph grammars -- A pumping lemma for context-free graph languages -- Two-dimensional, differential, intercalary plant tissue growth and parallel graph generating and graph recurrence systems -- Parallel generation of maps: Developmental systems for cell layers -- Processes in structures -- Map grammars: Cycles and the algebraic approach -- On multilevel — Graph grammars -- Graph grammars and operational semantics -- Complexity of pattern generation by map-L systems -- A graph grammar that describes the set of two-dimensional surface networks -- Definition of programming language semantics using grammars for hierarchical graphs -- Determinism in relational systems -- Analysis of programs by reduction of their structure -- Graphs of processors -- Definitional mechanisms for conceptual graphs -- A graph-like lambda calculus for which leftmost-outermost reduction is optimal -- Relationships between graph grammars and the design and analysis of concurrent software -- Cellular graph automata -- List of participants. |
| Record Nr. | UNISA-996465643403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
L Systems [[electronic resource] /] / edited by G. Rozenberg, A. Salomaa
| L Systems [[electronic resource] /] / edited by G. Rozenberg, A. Salomaa |
| Edizione | [1st ed. 1974.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1974 |
| Descrizione fisica | 1 online resource (VIII, 340 p.) |
| Disciplina | 005.1015113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Mathematical logic Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-37823-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theory of L systems: From the point of view of formal language theory -- A model for the growth and flowering of aster novae-angliae on the basis of table L-systems -- Adding continuous components to L-systems -- Formal language theoretical approach to intracellular behavior -- Three useful results concerning L languages without interactions -- On the size of dol languages -- Generatively deterministic L languages. Subword point of view -- Growth of strings in context dependent Lindenmayer systems -- Some growth functions of context-dependent L-systems -- Dol systems with rank -- Equivalence of L-systems -- The syntactic inference problem for dol-sequences -- Free groups in Lindenmayer systems -- Notes on pre-set pushdown automata -- Recurrence systems -- Adult languages of L systems and the Chomsky hierarchy -- Structured OL-systems -- Context in parallel rewriting -- Nonterminals and codings in defining variations of OL-systems -- Iteration grammars and lindenmayer AFL's -- Hyper-AFL's and ETOL systems -- ?-OL systems -- Bounded parallelism and regular languages -- Multidimensional Lindenmayer organisms -- Bibliography on L systems. |
| Record Nr. | UNISA-996465422803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Real-Time: Theory in Practice [[electronic resource] ] : REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings / / edited by J.W.de Bakker, C. Huizing, W.P.de Roever, G. Rozenberg
| Real-Time: Theory in Practice [[electronic resource] ] : REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings / / edited by J.W.de Bakker, C. Huizing, W.P.de Roever, G. Rozenberg |
| Edizione | [1st ed. 1992.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
| Descrizione fisica | 1 online resource (VIII, 723 p.) |
| Disciplina | 005.1/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer communication systems Special purpose computers Operating systems (Computers) Computer logic Theory of Computation Computer Communication Networks Special Purpose and Application-Based Systems Operating Systems Computation by Abstract Devices Logics and Meanings of Programs |
| ISBN | 3-540-47218-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An old-fashioned recipe for real time -- Verifying automata specifications of probabilistic real-time systems -- The theory of timed automata -- Logics and models of real time: A survey -- The state operator in real time process algebra -- Timed process algebras with urgent interactions and a unique powerful binary operator -- Time in state based formal description techniques for distributed systems -- Real-time and the Mu-Calculus (preliminary report) -- Implementing reactive programs on circuits a hardware implementation of LUSTRE -- Semantics and completeness of Duration Calculus -- Timed transition systems -- Compositional verification of real-time systems using extended Hoare triples -- Semantics of reactive systems in abstract time -- Problems, promises and performance: some questions for real-time system specification -- Abstraction in real time process algebra -- (Real) time: A philosophical perspective -- Specification and analysis of resource-bound real-time systems -- Forward and backward simulations for timing-based systems -- Prom timed to hybrid systems -- Coping with implementation dependencies in real-time system verification -- Validating real-time systems by executing logic specifications -- An overview and synthesis on timed process algebras -- From ATP to timed graphs and hybrid systems -- Verification of safety critical systems using TTM/RTTL -- Predicative specification of timed processes -- Putting time into proof outlines -- Timed CSP: Theory and practice -- A specification of the cat and mouse problem -- Layering and action refinement for timed systems. |
| Record Nr. | UNISA-996465737503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
| 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 | ||
| ||