全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用：99美元
投递稿件

为什么选择我们？ >>
- 开源期刊
- 同行审议
- 快速出刊
- 终身存储
- 免费检索
- 免费推广
- 更多...
- 搜索引擎

Scientific Annals of Computer Science

ISSN Print: 1843-8121

ISSN Online:

主页: http://www.info.uaic.ro/bin/view/Annals/

分享:




Go

Innocent Strategies as Presheaves and Interactive Equivalences for CCS

T. Hirschowitz,D. Pous

On Safety Properties and Their Monitoring

G. Rosu

Contract-Oriented Computing in CO2

M. Bartoletti,E. Tuosto,R. Zunino

Position Automata for Kleene Algebra with Tests

A. Silva

Towards Interaction Reliability in Concurrent Applications

S. Bliudze,R. Bruni,M. Carbone,A. Silva

Three Algorithms and a Methodology for Amending Contracts for Choreographies

L. Bocchi,J. Lange,E. Tuosto

Indirect Jumps Improve Instruction Sequence Performance

J.A. Bergstra,C.A. Middelburg

Structured Operational Semantics for Graph Rewriting

A. Dorman,T. Heindel,B. K？nig

Overview of Thirty Semantic Formalisms for Reo

S.-S. T.Q. Jongmans,F. Arbab

Standard Type Soundness for Agents and Artifacts

F. Damiani,P. Giannini,A. Ricci,M. Viroli

Abstracting Asynchronous Multi-Valued Networks

J. Steggles

Generalized Communicating P Systems Working in Fair Sequential Mode

A. Spicher,S. Verlan

Petri Nets for Biologically Motivated Computing

J. Kleijn,M. Koutny,G. Rozenberg

Reversibility in Massive Concurrent Systems

L. Cardelli,C. Laneve

An SCA-based Approach for Social and Pervasive Communications in Home Environments

R. Melisson,D. Romero,R. Rouvoy,L. Seinturier

Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems

A.M. Hernandez,F. Nielson,H. Riis-Nielson

Programming in Biomolecular Computation: Programs, Self-Interpretation and Visualisation

L. Hartmann,N.D. Jones,J.G. Simonsen,S.B. Vrist

Thread Extraction for Polyadic Instruction Sequences

J.A. Bergstra,C.A. Middelburg

Concurrency and Interaction in Complex Systems

S. Ben Mokhtar,S. Bliudze,R. Bruni,A. Silva

Desynchronizability of (Partial) Synchronous Closed Loop Systems

H. Beohar,P. Cuijpers

Modular Verification of Interactive Systems with an Application to Biology

P. Drabik,A. Maggiolo-Schettini,P. Milazzo

State Space Reduction for Dynamic Process Creation

H. Klaudel,M. Koutny,E. Pelz,F. Pommereau

An Algebra of Hierarchical Graphs and its Application to Structural Encoding

R. Bruni,F. Gadducci,A. Lluch Lafuente

Timed Operational Semantics and Well-Formedness of Shape Calculus

E. Bartocci,D.R. Cacciagrano,M.R. Di Berardini,E. Merelli

Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions

H.H. Hansen,J. Rutten

Shape Calculus. A Spatial Mobile Calculus for 3D Shapes

E. Bartocci,F. Corradini,M.R Di Berardini,E. Merelli

An Instruction Sequence Semigroup with Involutive Anti-Automorphisms

J.A. Bergstra,A. Ponse

Coalgebraic Weak Bisimulation for Action-Type Systems

A. Sokolova,E. de Vink,H. Woracek

Synthesis of Petri Nets with Localities

M. Koutny,M. Pietkiewicz-Koutny

A Generalized Approach to Optimization of Relational Data Warehouses Using Hybrid Greedy and Genetic Algorithms

G. Velinov,M. Kon Popovska,D. Gligoroski

Synchronization Algorithms on Oriented Chains

D. Bein,A.K. Datta,L.L. Larmore

Involutions on Relational Program Calculi

I.M. Rewitzky,J.W. Sanders

An Event Based Semantics of P Systems

G.M. Pinna,A. Saba

Tuplix Calculus

J.A. Bergstra,A. Ponse,M.B. Van Der Zwaag

A Calculus of Evolving Objects

M. Dezani-Ciancaglini,P. Giannini,O. Nierstrasz

New Results on Minimal Strongly Imperfect Graphs

V. Anastasoaei,E. Olaru

Programming an Interpreter Using Molecular Dynamics

J.A. Bergstra,C.A. Middelburg

Homomorphism between AOMRC and Hoare Model of Deterministic Reconfiguration Processes in Reconfigurable Computing Systems

P.C. Vinh

Instruction Sequences with Indirect Jumps

J.A. Bergstra,C.A. Middelburg

Approximation for Batching via Priorities

W. Bein,J. Noga,J. Wiegley

Basic Techniques for Creating an Efficient CSP Solver

C. Frasinaru

Go




©2008-2020 OALib, Inc | Public user content licensed CC-BY 4.0 unless otherwise specified. OALib ISSN Online: 2333-9721 OALib ISSN Print: 2333-9705