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.
Communicating sequential processes : the first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004 : revised invited papers / / Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)
| Communicating sequential processes : the first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004 : revised invited papers / / Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (XIV, 326 p.) |
| Disciplina | 005.13/3 |
| Altri autori (Persone) |
AbdallahAli E. <1957->
JonesC. B <1944-> (Cliff B.) SandersJeff W HoareC. A. R <1934-> (Charles Antony Richard) |
| Collana | Lecture notes in computer science,Festschrift |
| Soggetto topico |
CSP (Computer program language)
Parallel programming (Computer science) Sequential processing (Computer science) Computer programming Parallel processing (Electronic computers) |
| ISBN |
3-540-32265-5
3-540-25813-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Semantic foundations -- Refinement and simulation -- Hardware synthesis -- Transactions -- Concurrent programming -- Linking theories -- Security -- Automated development and model checking -- Industrial-strength CSP. |
| Altri titoli varianti | Symposium on the Occasion of 25 years of CSP |
| Record Nr. | UNINA-9910767558403321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods and Hybrid Real-Time Systems [[electronic resource] ] : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock
| Formal Methods and Hybrid Real-Time Systems [[electronic resource] ] : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XVI, 542 p.) |
| Disciplina | 004.33 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Computer engineering Computer networks Machine theory Software Engineering Computer Science Logic and Foundations of Programming Computer Engineering and Networks Formal Languages and Automata Theory |
| ISBN | 3-540-75221-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models and Software Model Checking of a Distributed File Replication System -- From “Formal Methods” to System Modeling -- A Denotational Semantics for Handel-C -- Generating Polynomial Invariants with DISCOVERER and QEPCAD -- Harnessing rCOS for Tool Support —The CoCoME Experience -- Automating Verification of Cooperation, Control, and Design in Traffic Applications -- Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus -- Relating Domain Concepts Intensionally by Ordering Connections -- Programmable Messaging for Electronic Government - Building a Foundation -- Balancing Insight and Effort: The Industrial Uptake of Formal Methods -- Proving Theorems About JML Classes -- Specification for Testing -- Semantics and Verification of a Language for Modelling Hardware Architectures -- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems -- Compensable Programs -- Deriving Specifications for Systems That Are Connected to the Physical World -- Engineering the Development of Embedded Systems -- Design Verification Patterns -- On Revival of Algol-Concepts in Modern Programming and Specification Languages -- Design in CommUnity with Extension Morphisms -- Symbolic Test Generation Using a Temporal Logic with Constrained Events -- Expansive-Bisimulation for Context-Free Processes -- VDM Semantics of Programming Languages: Combinators and Monads -- Formal Approach to Railway Applications -- Services as a Paradigm of Computation. |
| Record Nr. | UNISA-996465958703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock
| Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XVI, 542 p.) |
| Disciplina | 004.33 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Computer engineering Computer networks Machine theory Software Engineering Computer Science Logic and Foundations of Programming Computer Engineering and Networks Formal Languages and Automata Theory |
| ISBN | 3-540-75221-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models and Software Model Checking of a Distributed File Replication System -- From “Formal Methods” to System Modeling -- A Denotational Semantics for Handel-C -- Generating Polynomial Invariants with DISCOVERER and QEPCAD -- Harnessing rCOS for Tool Support —The CoCoME Experience -- Automating Verification of Cooperation, Control, and Design in Traffic Applications -- Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus -- Relating Domain Concepts Intensionally by Ordering Connections -- Programmable Messaging for Electronic Government - Building a Foundation -- Balancing Insight and Effort: The Industrial Uptake of Formal Methods -- Proving Theorems About JML Classes -- Specification for Testing -- Semantics and Verification of a Language for Modelling Hardware Architectures -- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems -- Compensable Programs -- Deriving Specifications for Systems That Are Connected to the Physical World -- Engineering the Development of Embedded Systems -- Design Verification Patterns -- On Revival of Algol-Concepts in Modern Programming and Specification Languages -- Design in CommUnity with Extension Morphisms -- Symbolic Test Generation Using a Temporal Logic with Constrained Events -- Expansive-Bisimulation for Context-Free Processes -- VDM Semantics of Programming Languages: Combinators and Monads -- Formal Approach to Railway Applications -- Services as a Paradigm of Computation. |
| Record Nr. | UNINA-9910484920003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theoretical Aspects of Computing - ICTAC 2007 [[electronic resource] ] : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings / / edited by Cliff B. Jones, Zhiming Liu, Jones Woodcock
| Theoretical Aspects of Computing - ICTAC 2007 [[electronic resource] ] : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings / / edited by Cliff B. Jones, Zhiming Liu, Jones Woodcock |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XI, 486 p.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Compilers (Computer programs) Software engineering Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Software Engineering |
| ISBN | 3-540-75292-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Domain Theory: Practice and Theories A Discussion of Possible Research Topics -- Linking Semantic Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients with Timers and Types -- Automatic Refinement of Split Binary Semaphore -- Stepwise Development of Simulink Models Using the Refinement Calculus Framework -- Bisimulations for a Distributed Higher Order ?-Calculus -- A Complete and Compact Propositional Deontic Logic -- Verifying Lock-Freedom Using Well-Founded Orders -- Tree Components Programming: An Application to XML -- A Framework for Incorporating Trust into Formal Systems Development -- A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees -- Distributed Time-Asynchronous Automata -- Skolem Machines and Geometric Logic -- A Logical Calculus for Modelling Interferences -- Reflection and Preservation of Properties in Coalgebraic (bi)Simulations -- Controlling Process Modularity in Mobile Computing -- Failures: Their Definition, Modelling and Analysis -- C WS: A Timed Service-Oriented Calculus -- Regular Linear Temporal Logic -- Algebraic Semantics for Compensable Transactions -- Axiomatizing Extended Temporal Logic Fragments Via Instantiation -- Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau -- Linear Context Free Languages -- FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems -- On Equality Predicates in Algebraic Specification Languages -- Data-Distributions in PowerList Theory -- Quasi-interpretation Synthesis by Decomposition -- Composing Transformations to Optimize Linear Code -- Building Extended Canonizers by Graph-Based Deduction -- A Randomized Algorithm for BBCSPs in the Prover-Verifier Model -- On the Expressive Power of QLTL. |
| Record Nr. | UNISA-996465286203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theoretical Aspects of Computing - ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings / / edited by Cliff B. Jones, Zhiming Liu, Jones Woodcock
| Theoretical Aspects of Computing - ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings / / edited by Cliff B. Jones, Zhiming Liu, Jones Woodcock |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XI, 486 p.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Compilers (Computer programs) Software engineering Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Software Engineering |
| ISBN | 3-540-75292-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Domain Theory: Practice and Theories A Discussion of Possible Research Topics -- Linking Semantic Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients with Timers and Types -- Automatic Refinement of Split Binary Semaphore -- Stepwise Development of Simulink Models Using the Refinement Calculus Framework -- Bisimulations for a Distributed Higher Order ?-Calculus -- A Complete and Compact Propositional Deontic Logic -- Verifying Lock-Freedom Using Well-Founded Orders -- Tree Components Programming: An Application to XML -- A Framework for Incorporating Trust into Formal Systems Development -- A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees -- Distributed Time-Asynchronous Automata -- Skolem Machines and Geometric Logic -- A Logical Calculus for Modelling Interferences -- Reflection and Preservation of Properties in Coalgebraic (bi)Simulations -- Controlling Process Modularity in Mobile Computing -- Failures: Their Definition, Modelling and Analysis -- C WS: A Timed Service-Oriented Calculus -- Regular Linear Temporal Logic -- Algebraic Semantics for Compensable Transactions -- Axiomatizing Extended Temporal Logic Fragments Via Instantiation -- Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau -- Linear Context Free Languages -- FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems -- On Equality Predicates in Algebraic Specification Languages -- Data-Distributions in PowerList Theory -- Quasi-interpretation Synthesis by Decomposition -- Composing Transformations to Optimize Linear Code -- Building Extended Canonizers by Graph-Based Deduction -- A Randomized Algorithm for BBCSPs in the Prover-Verifier Model -- On the Expressive Power of QLTL. |
| Record Nr. | UNINA-9910482956503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||