Sciweavers

942 search results - page 52 / 189
» Process Algebraic Non-product-forms
Sort
View
IJCINI
2007
96views more  IJCINI 2007»
14 years 9 months ago
The Theoretical Framework of Cognitive Informatics
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...
Yingxu Wang
ASIAN
1998
Springer
118views Algorithms» more  ASIAN 1998»
15 years 2 months ago
Bisimulation Lattice of Chi Processes
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
Yuxi Fu
TCS
2002
14 years 9 months ago
A unified language processing methodology
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
Teodor Rus
ENTCS
2006
146views more  ENTCS 2006»
14 years 9 months ago
Relating State-Based and Process-Based Concurrency through Linear Logic
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
Iliano Cervesato, Andre Scedrov
IQIS
2007
ACM
14 years 11 months ago
On the performance of one-to-many data transformations
Relational Database Systems often support activities like data warehousing, cleaning and integration. All these activities require performing some sort of data transformations. Si...
Paulo J. F. Carreira, Helena Galhardas, Joã...